Revision ea94c937d6d53ba9f6c4a5ff67b9f3905d17e9c5

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

Merge branch '2018.09'