Skip to content

Draft: Miscellaneous changes required during development.

Rainer Kartmann requested to merge dev into master

This MR is mainly for me to have an overview over the changes. When I have time, I can try to group them more sensibly in specific MRs.

So no need to merge this.

Merge request reports