Revision 68fb0f31e7c52216ef1d6451e886b20d9e666a2c

Committed on 11/01/2019 5:18 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2017.12' into 2018.09