Skip to content

rustc: Fix unknown_lints next to an unknown lint#43841

Merged
bors merged 1 commit into
rust-lang:masterfrom
alexcrichton:fix-another-regression
Aug 16, 2017
Merged

rustc: Fix unknown_lints next to an unknown lint#43841
bors merged 1 commit into
rust-lang:masterfrom
alexcrichton:fix-another-regression

rustc: Fix `unknown_lints` next to an unknown lint

8b2bdc5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs