Fix typo #13

Merged bdonneaux merged 1 commit into DEVops:master from DEVops:devel_bear on 25 Jul 2018
2018-07-25
@Benoit Donneaux
Fix typo ...
Benoit Donneaux committed on 25 Jul 2018