Skip to content

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

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

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

Avoid abbreviating "numerator" as "numer", to allow catching typo "nu…

c503487
Select commit
Loading
Failed to load commit list.
Sign in for the full log view