Closed akva2 closed 6 years ago
Upstream: https://github.com/OPM/opm-common/pull/304
This can be merged independently of upstream?
travis seems to imply that yes. however without the upstream changes it's basically a NOP.
Ok -I'll wait for upstream, and let you merge it when appropriate.
Upstream: https://github.com/OPM/opm-common/pull/304