Revision b043ec49d2e29b505fe1a9477d7e86d65fbb15a8

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

Merge branch '2017.12' into 2019.03