Revision f1fd047259a2d40bebf6526236664b9d031ad994

Committed on 03/03/2020 8:24 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2017.12' into 2019.03