Revision f428ffeb2bbcb6e52f49c9e318aeaeded782564e

Committed on 21/03/2019 6:28 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '6.13' into 7.3