Revision 1fbef8153871db4009d752ae6cc9b12724b4a499

Committed on 29/11/2018 6:39 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.13' into 2.2