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

Commits on Feb 7, 2017

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