Skip to content

merge unused-extern-crate and unnecessary-extern-crate lints#51015

Merged
bors merged 3 commits into
rust-lang:masterfrom
nikomatsakis:issue-50672-remove-extern-crate-idiom
Jun 2, 2018
Merged

merge unused-extern-crate and unnecessary-extern-crate lints#51015
bors merged 3 commits into
rust-lang:masterfrom
nikomatsakis:issue-50672-remove-extern-crate-idiom

rework to report errors from crates in a consistent order

b37cc85
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs