Revision 0fd407301b7140d7ad67f7aac347700de64298b6

Committed on 10/12/2019 5:38 am by Vidar Langseid <[email protected]> [GitHub Diff]

Merge branch '1.9'