Revision 3edebe14a3916daf027c0e4dc3169cdec920d31a

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

Merge branch '2017.12' into 2019.03