Revision e0a377104c23169dbf8e3754011e8771987a9167

Committed on 22/03/2019 3:58 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '6.13' into 7.3