Revision bfc9896a3235c503796040e043216c5fe41f6f68

Committed on 27/05/2020 1:59 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2017.12' into 2019.03