enabled an automatic merge when the pipeline for 166e3172 succeeds
By Piotr Pomorski on 2018-06-12T10:34:20 (imported from GitLab)
merged
By Piotr Pomorski on 2018-06-12T10:37:35 (imported from GitLab)
mentioned in commit e27007cf
By Piotr Pomorski on 2018-06-12T10:37:36 (imported from GitLab)