Cosmetic only #18

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

bdonneaux commented on 31 Jul 2018

No description provided.

bdonneaux referenced the pull request on 31 Jul 2018

Cosmetic only

bdonneaux merged commit a65a9d8 into master from devel_bear on 31 Jul 2018

bdonneaux closed this pull request on 31 Jul 2018

Labels

Priority

No priority

Milestone

No milestone

Assignee

No one

1 participant