Revision 62c9185e34e3fd3c0181ba0bdf652c991e097320

Committed on 16/09/2016 2:55 pm by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

last fixes after git repo transfer