Merge details
enabled an automatic merge when the pipeline for 8215a265 succeeds
By Piotr Pomorski on 2018-06-12T10:53:10 (imported from GitLab)
merged
By Piotr Pomorski on 2018-06-12T10:55:11 (imported from GitLab)
mentioned in commit e7e3e74a
By Piotr Pomorski on 2018-06-12T10:55:15 (imported from GitLab)