clippy fixes #205

Merged

muellerr merged 1 commits from small-clippy-fix into main 2024-11-04 13:55:28 +01:00

Conversation 0 Commits 1 Files Changed 6 +7 -2

1 Commits

Author	SHA1	Message	Date
Robin Mueller	edcd5491f1	clippy fixes	2024-11-04 13:51:36 +01:00