all clippy fixes #44

Merged

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

Conversation 0 Commits 1 Files Changed 4 +22 -17

1 Commits

Author	SHA1	Message	Date
Robin Mueller	7089168917	all clippy fixes	2025-02-13 17:38:33 +01:00