some clippy fixes #23

Merged
muellerr merged 1 commits from some-clippy-fixes into main 2025-01-10 17:49:20 +01:00