some cleanup #2

Merged
simon merged 1 commits from master into main 2025-05-31 11:45:23 +02:00
Owner
No description provided.
simon added 1 commit 2025-05-31 11:45:10 +02:00
simon merged commit 20bf6b745b into main 2025-05-31 11:45:23 +02:00
simon referenced this issue from a commit 2025-08-10 17:32:46 +02:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: simon/hottub#2