Fixes issue #71 (closed)
enabled an automatic merge when the pipeline for e15af96b succeeds
merged
mentioned in commit 170cba5e