Skip to content

Merge branch 'feature/update-to-opm-2017.04' into 'next'

Kilian Weishaupt requested to merge cherry-pick-83c1c1d8 into next

[opm] Update dumux to newest opm release

See merge request !526 (merged)

Merge request reports