enabled an automatic merge when the pipeline for 4d46e540 succeeds
By Grzegorz Rola on 2020-04-14T15:59:49 (imported from GitLab)
merged
By Grzegorz Rola on 2020-04-14T16:01:28 (imported from GitLab)
mentioned in commit 10e0ce5a
By Grzegorz Rola on 2020-04-14T16:01:28 (imported from GitLab)