merge unused-extern-crate and unnecessary-extern-crate lints#51015
Merged
bors merged 3 commits intorust-lang:masterfrom Jun 2, 2018
Merged
merge unused-extern-crate and unnecessary-extern-crate lints#51015bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom