Skip to content

Apply some new clippy suggestions - #1549

Merged
Robbepop merged 1 commit into
mainfrom
rf-apply-clippy-suggestions-2
Jun 30, 2025
Merged

Apply some new clippy suggestions#1549
Robbepop merged 1 commit into
mainfrom
rf-apply-clippy-suggestions-2

Commits

Commits on Jun 30, 2025