all clippy fixes #44

Merged
muellerr merged 1 commits from clippy-fixes into main 2025-02-13 17:38:46 +01:00