Skip to content

Fix confusing error and docs wrt. virtual manifests#4492

Merged
bors merged 4 commits intorust-lang:masterfrom RalfJung:virtualSep 14, 2017