some clippy fixes #23

Merged
muellerr merged 1 commits from some-clippy-fixes into main 2025-01-10 17:49:20 +01:00
Owner
No description provided.
muellerr added 1 commit 2025-01-10 17:49:14 +01:00
muellerr merged commit cd222fd1e1 into main 2025-01-10 17:49:20 +01:00
muellerr deleted branch some-clippy-fixes 2025-01-10 17:49:21 +01:00
Sign in to join this conversation.
No description provided.