Skip to content

der: rename UIntRef => UintRef#786

Merged
tarcieri merged 1 commit intomasterfrom
der/rename-uintref
Dec 11, 2022
Merged

der: rename `UIntRef` => `UintRef`#786
tarcieri merged 1 commit intomasterfrom
der/rename-uintref

Commits

Commits on Dec 11, 2022