enabled an automatic merge when the pipeline for 9c4a7a22 succeeds
By Piotr Pomorski on 2018-06-12T10:45:38 (imported from GitLab)
merged
By Piotr Pomorski on 2018-06-12T10:46:07 (imported from GitLab)
mentioned in commit 39a9f4bb
By Piotr Pomorski on 2018-06-12T10:46:07 (imported from GitLab)