Skip to content
GitLab

various small proposed changes

Merged Martin Reinecke requested to merge misc_tweaks into master

This contains a set of small, mostly cosmetic, changes.

In a few places I have put FIXMEs, so this should not be directly merged, but rather adjusted before, depending on what the answer to the FIXME is.

Merge request reports