Master

Merged Theo Steininger requested to merge master into minimizer_tweaks

Merge request reports