[bin] clone OPM release branches (!2050) · Merge requests · dumux-repositories / dumux · GitLab

Bernd Flemisch requested to merge fix/clone-opm-release-branches into master Apr 23, 2020

!2055 (merged) should be merged first.

Please backport to 3.2.

Edited Apr 27, 2020 by Bernd Flemisch