Skip to content

Fix log formatting in bootstrap#115598

Merged
bors merged 1 commit intorust-lang:masterfrom
GoldsteinE:fix-bootstrap-formatting
Sep 6, 2023

Commits

Commits on Sep 6, 2023