Guillaume Gomez ad37f40355 Rollup merge of #125522 - spastorino:fix-lint-docs-edition-handling, r=Urgau,michaelwoerister ... Add "better" edition handling on lint-docs tool r? `@Urgau`		2024-05-27 13:10:34 +02:00
..
builtin.rs	Rollup merge of #125522 - spastorino:fix-lint-docs-edition-handling, r=Urgau,michaelwoerister	2024-05-27 13:10:34 +02:00
lib.rs	Slightly clean up some lint infra code	2024-05-23 03:21:12 +02:00