Revision c9d8975067b792f196f830d453bfeb5bab02bb88

Committed on 04/06/2017 7:22 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.9'