enabled an automatic merge when the pipeline for 15835043 succeeds
By Jean-Baptiste on 2019-09-17T11:17:40 (imported from GitLab project)
merged
By Jean-Baptiste on 2019-09-17T11:17:46 (imported from GitLab project)
mentioned in commit 982ee1a2
By Jean-Baptiste on 2019-09-17T11:17:46 (imported from GitLab project)