Fix a few misc warnings and bugs (!7) · Merge requests · World / Boatswain · GitLab

The source project of this merge request has been removed.

Bastien Nocera requested to merge (removed):wip/hadess/fixes into main Mar 18, 2022