Revision 2c5b9c049514728b06b1b26bb185d9b47c6d4aa7

Committed on 11/04/2017 5:32 am by Yannick ROGER <yannick.roger@ez.no> [GitHub Diff]

Merge branch '1.9' into master