Skip to content

Fix comment on NoMangle - #142922

Merged
bors merged 1 commit into
rust-lang:masterfrom
JonathanBrouwer:fix-rustdoc-comment
Jun 24, 2025
Merged

Fix comment on NoMangle#142922
bors merged 1 commit into
rust-lang:masterfrom
JonathanBrouwer:fix-rustdoc-comment

Commits

Commits on Jun 23, 2025