Skip to content

Misc fixes

Martin Reinecke requested to merge misc_fixes into master

Fixes for various small problems I encountered.

Merge request reports