smaller improvements #182

Merged
muellerr merged 1 commits from smaller-improvements into main 2024-05-02 12:28:40 +02:00
Owner
No description provided.
muellerr added 1 commit 2024-05-02 12:28:31 +02:00
muellerr added this to the satrs-v0.2.0 milestone 2024-05-02 12:28:36 +02:00
muellerr merged commit 9ffe4d0ae0 into main 2024-05-02 12:28:40 +02:00
muellerr deleted branch smaller-improvements 2024-05-02 12:28:40 +02:00
Sign in to join this conversation.
No description provided.