Revision 1c2d04fecc033c903046a361e1dff43deb4ee3a9

Committed on 18/01/2019 4:48 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '7.3' into 7.4