Revision 98e7ca806cdd67000e75aa577e793d05abe125a9

Committed on 22/05/2020 5:51 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2017.12' into 2019.03