Revision 32026cae570483487211e196bd7db396240322cf

Committed on 19/12/2017 2:13 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.13' into 2.0