Auto merge of #4784 - SimonSapin:default-members, r=matklad
authorbors <bors@rust-lang.org>
Wed, 6 Dec 2017 11:08:43 +0000 (11:08 +0000)
committerbors <bors@rust-lang.org>
Wed, 6 Dec 2017 11:08:43 +0000 (11:08 +0000)
Fix `default-members` docs: it also applies to non-virtual workspaces.


Trivial merge