Revision 0fd407301b7140d7ad67f7aac347700de64298b6

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

Merge branch '1.9'