mirror of
https://github.com/OPM/ResInsight.git
synced 2026-10-14 09:22:13 -05:00
Merge pull request #716 from OPM/master
Pull release related changes from master into dev
This commit is contained in:
commit
a3ceda3cfe