rustc: Fix unknown_lints
next to an unknown lint#43841
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 16, 2017
Merged
rustc: Fix `unknown_lints` next to an unknown lint#43841bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom