Revision f88acd111ffa056589e43ac658a5906e8ab6f0cc

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

Merge branch '6.13' into 7.3