Closed wxmerkt closed 5 years ago
In GitLab by @cmastalli on Sep 8, 2019, 17:05
added 1 commit
In GitLab by @cmastalli on Sep 8, 2019, 17:05
enabled an automatic merge when the pipeline for 68acae7b773e64b5b206a394909066ac3fa634a7 succeeds
In GitLab by @cmastalli on Sep 8, 2019, 17:06
changed the description
In GitLab by @cmastalli on Sep 8, 2019, 17:19
merged
In GitLab by @cmastalli on Sep 8, 2019, 17:19
mentioned in commit 5d4c219c5f1d7db9704a28577da29fade6488136
In GitLab by @cmastalli on Sep 8, 2019, 17:03
Merges topic/impulse -> devel
This PR tackles mainly #233 and #240.