Skip to content

Apply fixes from -Wclippy::pedantic#13

Merged
robertknight merged 3 commits intorobertknight:mainfrom chris-ha458:clippyJan 8, 2024

Commits

Commits on Jan 7, 2024