Revision 07f0e471033761360adbd9425b9af84c2d01160c

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

Merge branch '6.7' into 6.13