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

Timo Koch requested to merge cherry-pick-9cd965f5 into releases/3.2 Apr 27, 2020

First merge !2056 (closed)

[bin] clone OPM release branches

See merge request !2050 (merged)

(cherry picked from commit 9cd965f5)

4db9a880 [bin] clone OPM release branches