Revision 7f569287822e0830b664708aa8ad4de7149c129e

Committed on 31/10/2018 5:15 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2017.12' into 2018.09