Revision 005f1417a27ed69e463f86ec7e9f0b076e2fd8c0

Committed on 16/04/2018 12:56 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.13'