Merge branch 'fix/clone-opm-release-branches' into 'master' (!2071) · Merge requests · dumux-repositories / dumux · GitLab

Bernd Flemisch requested to merge cherry-pick-9cd965f5-2 into releases/3.2 Apr 29, 2020

!2069 (merged) should be merged first.

[bin] clone OPM release branches

See merge request !2050 (merged)

(cherry picked from commit 9cd965f5)

4db9a880 [bin] clone OPM release branches