Skip to content

Rename translation -> formatting#153414

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
JonathanBrouwer:translate_cleanup
Mar 5, 2026
Merged

Rename translation -> formatting#153414
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
JonathanBrouwer:translate_cleanup

Commits

Commits on Mar 4, 2026