Revision 7357bd23b7e218fc91ba32f6e80eb40bd90690a5

Committed on 01/11/2018 3:29 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2017.12' into 2018.09