Skip to content

Rename as_(limbs|words)_mut => as_mut_(limbs|words)#805

Merged
tarcieri merged 1 commit into
masterfrom
reorder-mut-naming
Apr 23, 2025
Merged

Rename as_(limbs|words)_mut => as_mut_(limbs|words)#805
tarcieri merged 1 commit into
masterfrom
reorder-mut-naming

Commits

Commits on Apr 23, 2025