clippy fix #210

Merged
muellerr merged 1 commits from clippy-fix into main 2026-05-04 22:44:24 +02:00

1 Commits

Author SHA1 Message Date
Robin Mueller 2342f87823 clippy fix 2026-05-04 22:42:00 +02:00