]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #8485 - thomcc:exclude-default-members, r=ehuss
authorbors <bors@rust-lang.org>
Thu, 23 Jul 2020 03:27:25 +0000 (03:27 +0000)
committerbors <bors@rust-lang.org>
Thu, 23 Jul 2020 03:27:25 +0000 (03:27 +0000)
Apply workspace.exclude to workspace.default-members.

Not sure how controversial the feature request was, it seemed easy to do, so I did it (I'm aware it's possible this won't be accepted).

Fixes #8460

1  2 
src/cargo/core/workspace.rs

Simple merge