enabled an automatic merge when the pipeline for 06c6b5dc succeeds
By Grzegorz Rola on 2018-04-20T10:35:10 (imported from GitLab)
mentioned in commit 54ff0c34
By Grzegorz Rola on 2018-04-20T10:35:31 (imported from GitLab)
merged
By Grzegorz Rola on 2018-04-20T10:35:31 (imported from GitLab)