]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #6276 - ehuss:ws-unused, r=alexcrichton
authorbors <bors@rust-lang.org>
Wed, 7 Nov 2018 18:00:43 +0000 (18:00 +0000)
committerbors <bors@rust-lang.org>
Wed, 7 Nov 2018 18:00:43 +0000 (18:00 +0000)
Warn/err on some unused manifest keys in workspaces.

- Err on dependencies, features, target, badges in virtual root.
- Warn on replace/patch in members.

Closes #6248, Closes #4870, Closes #4947


Trivial merge