Rename bootstrap/defaults/{config.toml.PROFILE => config.PROFILE.toml}#77558
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 6, 2020
Merged
Rename bootstrap/defaults/{config.toml.PROFILE => config.PROFILE.toml}#77558bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom