Revision ea2a7559cc744f55976a81f8a22a861dcaa34fd1

Committed on 08/01/2019 2:17 am by Mateusz Bieniek <mateusz.bieniek@ez.no> [GitHub Diff]

Merge branch '2018.09'