Remove unused dependency (rustc_lint -> rustc_mir)#56528
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 6, 2018
Merged
Remove unused dependency (rustc_lint -> rustc_mir)#56528bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
