Closed wxmerkt closed 4 years ago
In GitLab by @cmastalli on Oct 1, 2019, 14:43
enabled an automatic merge when the pipeline for 6b60a61a5e225a5de5d040fba3718301e2146062 succeeds
In GitLab by @cmastalli on Oct 1, 2019, 15:05
merged
In GitLab by @cmastalli on Oct 1, 2019, 15:05
mentioned in commit 1a5f010bfb7737f0975dbb8cad73e776d8790720
In GitLab by @cmastalli on Oct 1, 2019, 14:43
Merges topic/cleanup -> devel
This PR makes the following moditions: