Revision 20aab327975853cd8cdcfccf1000282c139f5f2b

Committed on 18/12/2019 4:59 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '2019.03'