Various maintenance tasks #114

Merged
manuel merged 1 commit from feature/maintenance into master 2023-03-12 22:05:48 +01:00

1 commit

Author SHA1 Message Date
e9e993e450
Various maintenance tasks
Signed-off-by: Manuel Friedli <manuel@fritteli.ch>
2023-03-12 22:02:34 +01:00