when -Z unstable-options not specified, don't validate --profile#7489

Merged

bors merged 3 commits intorust-lang:masterfrom da-x:fix-7488

Oct 8, 2019

+20-6

Commits on Oct 7, 2019

named-profiles: when -Z unstable-options not specified, don't validate --profile
da-x
committed

Commits on Oct 8, 2019