Skip to content

Ensure space is inserted after keyword in unused_delims#112316

Merged
bors merged 1 commit intorust-lang:masterfrom
clubby789:unused-parens-space
Jun 6, 2023
Merged

Ensure space is inserted after keyword in `unused_delims`#112316
bors merged 1 commit intorust-lang:masterfrom
clubby789:unused-parens-space

Commits

Commits on Jun 5, 2023