Skip to content

bootstrap: fix a comment#134409

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

bootstrap: fix a comment#134409
bors merged 2 commits intorust-lang:masterfrom
RalfJung:bootstrap-comment

Commits

Commits on Dec 17, 2024