Revision bced04ad1bc69c562e0497ce502469ec8d43c43e

Committed on 22/05/2020 5:52 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2019.03'