Revision a96de1e174d1880380ee9b134201d4e1b60e9d48

Committed on 04/04/2020 9:32 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.9'