enabled an automatic merge when the pipeline for 4cd2b78d succeeds
By Alexander Olofsson on 2018-08-28T14:45:31 (imported from GitLab project)
merged
By Alexander Olofsson on 2018-08-28T14:45:46 (imported from GitLab project)
mentioned in commit d72a8625
By Alexander Olofsson on 2018-08-28T14:45:46 (imported from GitLab project)