Skip to content

Apply (or silence) most of the clippy suggestions#54

Merged
droundy merged 1 commit intodroundy:masterfrom GrigorenkoPV:clippyJul 19, 2024