Revision 04c8f1447600e2bffa7bd694cb6ea20e3bf8276a

Committed on 15/02/2019 4:33 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2017.12' into 2018.09