Merge branch 'feature/update-to-opm-2017.04' into 'next' (!535) · Merge requests · dumux-repositories / dumux · GitLab

Merged Kilian Weishaupt requested to merge cherry-pick-83c1c1d8 into next Jul 21, 2017

[opm] Update dumux to newest opm release

See merge request !526 (merged)