Skip to content
GitLab

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

Merged Timo Koch requested to merge cherry-pick-d99ffe88 into releases/3.2

[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