when -Z unstable-options not specified, don't validate --profile#7489
Merged
bors merged 3 commits intorust-lang:masterfrom Oct 8, 2019
Merged
when -Z unstable-options not specified, don't validate --profile#7489bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom
Commits
Commits on Oct 7, 2019
Commits on Oct 8, 2019
- committed
- committed