Open Porous Media Git 1.3.12

pts/opm-git-1.3.12 - 19 April 2017 - Drop porsol

downloads.xml:

install.sh:

results-definition.xml:

test-definition.xml: