Skip to content

Various minor quality fixes

Erxleben, Fredo requested to merge quick-fixes into main

I came across those and didn't want to include them in any other topic branch.

Merge request reports