Backport fixes from other projects #39

Merged bdonneaux merged 8 commits into DEVand:master from DEVand:devel_bear on 8 Nov 2018

bdonneaux commented on 8 Nov 2018

No description provided.

bdonneaux closed this pull request on 8 Nov 2018

bdonneaux referenced the pull request on 8 Nov 2018

Backport fixes from other projects

bdonneaux merged commit 9a77e4f into master from devel_bear on 8 Nov 2018

Labels

Priority

No priority

Milestone

No milestone

Assignee

No one

1 participant