Skip to content

No more need for unknown_lints suppression#237

Merged
dtolnay merged 1 commit intomasterfrom
unknownlint
Aug 5, 2023
Merged

No more need for unknown_lints suppression#237
dtolnay merged 1 commit intomasterfrom
unknownlint

Commits

Commits on Aug 5, 2023