Warn about unused virtual manifest keys.#5726

Merged

bors merged 1 commit intorust-lang:masterfrom ehuss:warn-virtual-keys

Jul 15, 2018

+111-39

Commits on Jul 14, 2018

Warn about unused virtual manifest keys.
ehuss
committed