Revision 2df3ca1d3435d9409d370d020b03f0d2ce88b679

Committed on 29/10/2018 3:05 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '2018.09'