Revision c8d786eed7a52fbf398103446413b8aad1fda107

Committed on 05/10/2020 7:13 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2017.12' into 2019.03