Revision 71df97c6b367cb9f0227ff52fff0a0c734307fd0

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

Merge branch '2018.09'