Use version from tag and improve release #12

Merged bdonneaux merged 1 commit into DEVops:master from DEVops:devel_bear on 25 Jul 2018

bdonneaux commented on 25 Jul 2018

No description provided.

bdonneaux referenced the pull request on 25 Jul 2018

Use version from tag and improve release

bdonneaux merged commit 86dbb94 into master from devel_bear on 25 Jul 2018

bdonneaux closed this pull request on 25 Jul 2018

Labels

Priority

No priority

Milestone

No milestone

Assignee

No one

1 participant