Revision cdf9b1fe6b7cdfedd404d8d5bc484a3a34095852

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

Merge branch '2017.12' into 2018.09