Skip to content

Remove unnecessary rust_ prefixes#144853

Merged
bors merged 1 commit intorust-lang:masterfrom
Kivooeo:rust_-cleanup
Aug 4, 2025
Merged

Remove unnecessary `rust_` prefixes#144853
bors merged 1 commit intorust-lang:masterfrom
Kivooeo:rust_-cleanup

Commits

Commits on Aug 3, 2025