enabled an automatic merge when the pipeline for 0d216d16 succeeds
By Grzegorz Rola on 2018-05-11T12:17:01 (imported from GitLab)
merged
By Grzegorz Rola on 2018-05-11T12:18:42 (imported from GitLab)
mentioned in commit f3d91c22
By Grzegorz Rola on 2018-05-11T12:18:43 (imported from GitLab)