clippy #190

Merged
muellerr merged 1 commits from clippy into main 2025-11-06 13:43:49 +01:00

1 Commits

Author SHA1 Message Date
Robin Mueller e5a7839901 clippy 2025-11-06 13:43:20 +01:00