Feature post release cleaning
A few commits that somehow slipped through a rebase
A few commits that somehow slipped through a rebase
added ~30 label
master
to develop
changed target branch from master
to develop
changed milestone to %v1712
merged
By Andrew Heather on 2017-07-11T11:45:21 (imported from GitLab project)