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