Fix merging problem with release support #8

Merged bdonneaux merged 3 commits into DEVand:master from DEVand:devel on 21 Mar 2018

bdonneaux commented on 21 Mar 2018

No description provided.

bdonneaux closed this pull request on 21 Mar 2018

bdonneaux referenced the pull request on 21 Mar 2018

Fix merging problem with release support

bdonneaux merged commit 47cfbcf into master from devel on 21 Mar 2018

Labels

Priority

No priority

Milestone

No milestone

Assignee

No one

1 participant