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)
mentioned in commit 1ebbb09514f8899d5a7f9cd7ca6c0835e73c1248
By Andrew Heather on 2017-07-11T11:45:21 (imported from GitLab project)