Skip to content

Various small fixes

Benjamin Otte requested to merge wip/otte/for-main into main

see individual commit messages.

Edited by Benjamin Otte

Merge request reports