Use more consistent progress messages in bootstrap#106303
Merged
bors merged 2 commits intorust-lang:masterfrom Dec 31, 2022
Merged
Use more consistent progress messages in bootstrap#106303bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
