Skip to content

Add "better" edition handling on lint-docs tool#125522

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:fix-lint-docs-edition-handling
May 27, 2024
Merged

Add "better" edition handling on lint-docs tool#125522
bors merged 1 commit intorust-lang:masterfrom
spastorino:fix-lint-docs-edition-handling

Commits

Commits on May 25, 2024