misc: Fixes and cleanup (!1324) · Merge requests · World / fractal · GitLab

The source project of this merge request has been removed.

Kévin Commaille requested to merge (removed):fixes into main Jul 19, 2023

Small unrelated commits. Check commit messages for details.