Skip to content

Cleaning up the repo

Mathias Réus requested to merge cleaninup into master

Several issues are fully or partly addressed here:

Merge request reports