Skip to content

Make rustdoc lints a tool lint instead of built-in#80527

Merged
bors merged 7 commits into
rust-lang:masterfrom
jyn514:rustdoc-lints
Mar 4, 2021
Merged

Make rustdoc lints a tool lint instead of built-in#80527
bors merged 7 commits into
rust-lang:masterfrom
jyn514:rustdoc-lints

Test that using the previous lint names still applies the lint

75efb6e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs