Closes #477 (closed)
enabled an automatic merge when the pipeline for d9f21c07 succeeds
merged
mentioned in commit 2991c7d3