Skip to content

Avoid abbreviating "numerator" as "numer", to allow catching typo "numer" elsewhere#145179

Merged
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:number
Aug 14, 2025
Merged

Avoid abbreviating "numerator" as "numer", to allow catching typo "numer" elsewhere#145179
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:number

Commits

Commits on Aug 9, 2025