Skip to content

Don't make tools responsible for checking unknown and renamed lints#80524

Merged
bors merged 4 commits into
rust-lang:masterfrom
jyn514:unknown-tool-lints
Jan 17, 2021
Merged

Don't make tools responsible for checking unknown and renamed lints#80524
bors merged 4 commits into
rust-lang:masterfrom
jyn514:unknown-tool-lints

Deprecate unknown_clippy_lints

13728b8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs