Revision ad3d8146886768a9bd066a2893cde0a82fbec552

Committed on 10/12/2019 5:35 am by Vidar Langseid <vl@ez.no> [GitHub Diff]

Merge branch '1.8' into 1.9