(clippy) some small clippy fixes #28

Merged
mice_on_drugs merged 1 commits from clippy_fixes into master 2022-06-05 14:58:37 +02:00
Owner
No description provided.
ddidderr added 1 commit 2022-05-08 23:32:29 +02:00
mice_on_drugs approved these changes 2022-06-05 14:58:32 +02:00
mice_on_drugs merged commit d491ea12a5 into master 2022-06-05 14:58:37 +02:00
mice_on_drugs deleted branch clippy_fixes 2022-06-05 14:58:37 +02:00
Sign in to join this conversation.
No description provided.