Merge branch 'cleanup/remove-openmp-dependency' into 'master'
[cleanup] Remove OpenMP dependency after upstream fix in opm-common/release/2020.04 See merge request dumux-repositories/dumux!2102
No related branches found
No related tags found
Please register or sign in to comment