Skip to content

BoxedUint: rename mul_wide to mul#359

Merged
tarcieri merged 1 commit into
masterfrom
boxed-uint/rename-mul-wide
Nov 30, 2023
Merged

BoxedUint: rename mul_wide to mul#359
tarcieri merged 1 commit into
masterfrom
boxed-uint/rename-mul-wide

BoxedUint: rename `mul_wide` to `mul`

b42cbc0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs