Skip to content

fix(lints): Fail when overriding inherited lints#12584

Merged
bors merged 4 commits intorust-lang:masterfrom
epage:lints
Aug 29, 2023
Merged

fix(lints): Fail when overriding inherited lints#12584
bors merged 4 commits intorust-lang:masterfrom
epage:lints

Commits

Commits on Aug 28, 2023

Commits on Aug 29, 2023