Revision 9d0e9e9c0b695a16c1c0b745a46103602ebc0300

Committed on 13/08/2019 4:58 pm by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.9'