Revision 580248d5265c6f8094ca4de7b9fa929ab5dc838c

Committed on 29/01/2018 7:47 am by André R <[email protected]> [GitHub Diff]

Merge branch '1.5'