Revision 4a5c08327bb53662f1934c94904fc866579cca93

Committed on 07/02/2019 5:12 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.13' into 2.3