Switch to devel branch to release from #7

Merged bdonneaux merged 1 commit into DEVand:master from DEVand:devel on 21 Mar 2018
2018-03-21
@Benoit Donneaux
Switch to devel branch to release from ...
Benoit Donneaux committed on 21 Mar 2018