Revision bb2b4411e4791113d3fbfff59397e9912d6611f5

Committed on 01/02/2019 12:58 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '6.13' into 7.3