enabled an automatic merge when the pipeline for c1aae838 succeeds
By Fabien Forestier on 2019-10-09T11:35:59 (imported from GitLab project)
merged
By Fabien Forestier on 2019-10-09T12:06:29 (imported from GitLab project)
mentioned in commit 4631122a
By Fabien Forestier on 2019-10-09T12:06:31 (imported from GitLab project)