Skip to content

bootstrap: fix outdated feature name in comment#135452

Merged
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:fix-comment
Jan 14, 2025
Merged

bootstrap: fix outdated feature name in comment#135452
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:fix-comment

Commits

Commits on Jan 13, 2025