Release from master using post-commit in release branch #19

Merged bdonneaux merged 1 commit into DEVops:master from DEVops:devel_bear on 31 Jul 2018
@bdonneaux bdonneaux commented on 31 Jul 2018

No description provided.

@bdonneaux bdonneaux closed this pull request on 31 Jul 2018
@bdonneaux bdonneaux referenced the pull request on 31 Jul 2018

Release from master using post-commit in release branch

@bdonneaux bdonneaux merged commit bf3a7ff into master from devel_bear on 31 Jul 2018
Labels

Priority
No priority
Milestone
No milestone
Assignee
No one
1 participant
@bdonneaux