clippy #190

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