Fix renaming a project using build scripts#4818

Merged

bors merged 1 commit intorust-lang:masterfrom alexcrichton:rename-link-paths

Dec 18, 2017

+159-18

Commits on Dec 18, 2017

Fix renaming a project using build scripts
alexcrichton
committed