Skip to content

Some small fixes and cleanup

Jonas Bernoulli requested to merge (removed):cleanup into master

Rather assorted; please see the actual commits.

Merge request reports