Revision 9ee6dae8cb6fe64887bf21b48bfff6805e6e5dba

Committed on 12/06/2017 2:09 am by Jérôme Vieilledent <lolautruche@gmail.com> [GitHub Diff]

Merge branch '1.1'