some clippy fixes #23

Merged

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

Conversation 0 Commits 1 Files Changed 6 +17 -14

1 Commits

Author	SHA1	Message	Date
Robin Mueller	f438e7e40f	some clippy fixes	2025-01-10 17:19:28 +01:00