Revision df80b3beeff95059f8e30ec804ae9d09f25501d4

Committed on 04/05/2017 1:53 am by André R <[email protected]> [GitHub Diff]

Merge branch '1.9'