enabled an automatic merge when the pipeline for 1b34401c succeeds
By Lukas Krupcik on 2017-04-13T06:47:22 (imported from GitLab project)
merged
By Lukas Krupcik on 2017-04-13T06:47:55 (imported from GitLab project)
mentioned in commit 025d0904
By Lukas Krupcik on 2017-04-13T06:47:55 (imported from GitLab project)