Skip to content

Don't suggest converting /// to // when expecting ,#142341

Merged
bors merged 1 commit intorust-lang:masterfrom
xizheyin:142311
Jun 16, 2025
Merged

Don't suggest converting `///` to `//` when expecting `,`#142341
bors merged 1 commit intorust-lang:masterfrom
xizheyin:142311

Commits

Commits on Jun 16, 2025