clippy fixes #240

Merged
muellerr merged 1 commits from clippy-fixes into main 2025-07-22 10:44:43 +02:00
Owner
No description provided.
muellerr added 1 commit 2025-07-22 10:44:35 +02:00
muellerr added this to the satrs v0.1.0 milestone 2025-07-22 10:44:39 +02:00
muellerr merged commit a61ee85796 into main 2025-07-22 10:44:43 +02:00
muellerr deleted branch clippy-fixes 2025-07-22 10:44:43 +02:00
Sign in to join this conversation.
No description provided.