Skip to content

bootstrap: fix a comment#134409

Merged
bors merged 2 commits intorust-lang:masterfrom RalfJung:bootstrap-commentDec 17, 2024

Commits

Commits on Dec 17, 2024