enabled an automatic merge when the pipeline for 9b16b769 succeeds
By Max van Deursen on 2018-06-06T16:17:49 (imported from GitLab project)
merged
By Max van Deursen on 2018-06-06T16:20:47 (imported from GitLab project)
mentioned in commit 7f29de2f
By Max van Deursen on 2018-06-06T16:20:47 (imported from GitLab project)