Skip to content

Rename UInt => Uint#143

Merged
tarcieri merged 1 commit intomasterfrom
rename-uint
Dec 9, 2022
Merged

Rename `UInt` => `Uint`#143
tarcieri merged 1 commit intomasterfrom
rename-uint

Commits

Commits on Dec 9, 2022