Fix release branch polling #17

Merged bdonneaux merged 2 commits into DEVops:master from DEVops:devel_bear on 26 Jul 2018
2018-07-26
@Benoit Donneaux
Fix release branch polling ...
Benoit Donneaux committed on 26 Jul 2018
@Benoit Donneaux
Cosmetic only ...
Benoit Donneaux committed on 26 Jul 2018