Skip to content

Properly handle different defaults for severity of lints#18466

Merged
lnicola merged 1 commit intorust-lang:masterfrom
ChayimFriedman2:proper-lint-severity
Dec 11, 2024
Merged

Properly handle different defaults for severity of lints#18466
lnicola merged 1 commit intorust-lang:masterfrom
ChayimFriedman2:proper-lint-severity

Commits

Commits on Dec 11, 2024