Fix renaming crates as they come from 2 sources#5415

Merged

bors merged 1 commit intorust-lang:masterfrom alexcrichton:rename-same-dep

Apr 27, 2018

+402-171

Commits on Apr 27, 2018

Fix renaming crates as they come from 2 sources
alexcrichton
committed