Merge branch 'cleanup/remove-openmp-dependency' into 'master' (!2103) · Merge requests · dumux-repositories / dumux

Timo Koch requested to merge cherry-pick-d99ffe88 into releases/3.2 Apr 30, 2020

[cleanup] Remove OpenMP dependency after upstream fix in opm-common/release/2020.04

See merge request !2102 (merged)

(cherry picked from commit d99ffe88)

32b3d59f [cleanup] Remove OpenMP dependency after upstream fix in opm-common/release/2020.04

Merge branch 'cleanup/remove-openmp-dependency' into 'master'