clippy fix #208

Merged

muellerr merged 1 commits from clippy-fix into main 2026-03-09 10:18:19 +01:00

Conversation 0 Commits 1 Files Changed 1 +4 -8

1 Commits

Author	SHA1	Message	Date
Robin Mueller	8374fddd13	clippy fix	2026-03-09 10:16:52 +01:00