enabled an automatic merge when the pipeline for 8a4e71b3 succeeds
By Fabien Forestier on 2019-10-09T08:55:33 (imported from GitLab project)
merged
By Fabien Forestier on 2019-10-09T08:55:53 (imported from GitLab project)
mentioned in commit 6f42542a
By Fabien Forestier on 2019-10-09T08:55:53 (imported from GitLab project)