Nightly

Merged Theo Steininger requested to merge nightly into better_minimizers

Merge request reports