Some minor cleanup#384
Merged
jernst merged 5 commits intofediverse-devnet:develop from jernst:pr-minorOct 12, 2024
+37-8
Commits
Commits on Oct 12, 2024
- committedJohannes Ernst
- committedJohannes Ernst
- committedJohannes Ernst
- committedJohannes Ernst
- committedJohannes Ernst