enabled an automatic merge when the pipeline for 813a79d0 succeeds
By Dyszczo on 2018-07-20T15:25:41 (imported from GitLab)
canceled the automatic merge
By Grzegorz Rola on 2018-07-20T15:29:59 (imported from GitLab)
merged
By Grzegorz Rola on 2018-07-20T15:30:02 (imported from GitLab)
mentioned in commit fa8a1499
By Grzegorz Rola on 2018-07-20T15:30:04 (imported from GitLab)