Skip to content

[opm] add patches for OPM 2017.10

Bernd Flemisch requested to merge cherry-pick-5550234c into next

(cherry picked from commit 5550234c)

Merge request reports