Revision 37aa080db04965d43a8456e337e5bf13ed7cefd0

Committed on 28/04/2017 4:34 am by Bertrand Dunogier <[email protected]> [GitHub Diff]

Merge branch '1.8' into 1.9