clippy fixes #240

Merged
muellerr merged 1 commits from clippy-fixes into main 2025-07-22 10:44:43 +02:00

1 Commits

Author SHA1 Message Date
Robin Mueller 81473b30f9 clippy fixes 2025-07-22 10:44:11 +02:00