Revision 3564076eef42bca6de5c9c7ec2cd5bc80f8cba8f

Committed on 19/12/2017 11:33 pm by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.13' into 2.0