Skip to content

Indentation fix to please clippy#754

Merged
tgross35 merged 1 commit intorust-lang:masterfrom
GrigorenkoPV:clippy
Jan 31, 2025

Commits

Commits on Jan 31, 2025