Warn when rustdoc:: group is omitted from lint names#86849
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 4, 2021
Merged
Warn when `rustdoc::` group is omitted from lint names#86849bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
