Choose different name for metadata obj-file to avoid clashes with user-chosen names.#39619

Merged

bors merged 1 commit intorust-lang:masterfrom michaelwoerister:rename-crate-metadata

Feb 10, 2017

+19-12

Commits on Feb 7, 2017

Choose different name for metadata obj-file to avoid clashes with user-chosen names.
michaelwoerister
committed