Use release branch for pipelining #6

Merged bdonneaux merged 7 commits into DEVops:master from DEVops:devel_bear on 24 Jul 2018

bdonneaux commented on 24 Jul 2018

No description provided.

bdonneaux referenced the pull request on 24 Jul 2018

Use release branch for pipelining

bdonneaux merged commit 0ec858a into master from devel_bear on 24 Jul 2018

bdonneaux closed this pull request on 24 Jul 2018

Labels

Priority

No priority

Milestone

No milestone

Assignee

No one

1 participant