Skip to content

Revert "Merge branch 'minimal' into 'master'"

Jenett, Florian requested to merge fix_merge_minimal into master

This reverts commit fb91de41, reversing changes made to 4e9df80c.

Merge request reports