Skip to content

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

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

Commits