Revision df80b3beeff95059f8e30ec804ae9d09f25501d4

Committed on 04/05/2017 1:53 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.9'