Revision 51a1bd21517b7cf452c3c03573de403d892c2527

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

Merge branch '6.7' into 6.13