Skip to content

Use lint via lint_defs instead of lints#110396

Merged
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:speedy-bootstrap
Apr 16, 2023
Merged

Use lint via `lint_defs` instead of `lints`#110396
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:speedy-bootstrap

Commits

Commits on Apr 16, 2023