mirror of
https://github.com/OPM/ResInsight.git
synced 2025-02-25 18:55:39 -06:00
Merge pull request #1539 from OPM/master
Merge pull request #1536 from OPM/dev. Release 2017.05
This commit is contained in:
Merge pull request #1536 from OPM/dev. Release 2017.05