enabled an automatic merge when the pipeline for 17f3dcd0 succeeds
By David Hrbáč on 2017-02-16T07:42:39 (imported from GitLab project)
mentioned in commit 78495d82
By David Hrbáč on 2017-02-16T07:43:22 (imported from GitLab project)
merged
By David Hrbáč on 2017-02-16T07:43:22 (imported from GitLab project)