Skip to content

der: rename UIntRef => UintRef#786

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

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

der: rename `UIntRef` => `UintRef`

5d979bc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs