Revision b4aa88ac8246a63b294aee0cdf1f64737f6142cd

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

Merge branch '2018.09'