enabled an automatic merge when the pipeline for 5ea53206 succeeds
By Lukas Krupcik on 2017-03-24T12:40:49 (imported from GitLab project)
merged
By Lukas Krupcik on 2017-03-24T12:41:18 (imported from GitLab project)
mentioned in commit 10effa5a
By Lukas Krupcik on 2017-03-24T12:41:18 (imported from GitLab project)