Revision 2d21be29695924261307b7d82c7e838b376c3c0c

Committed on 26/02/2019 1:39 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.5'