Closes #741 (closed)
enabled an automatic merge when the pipeline for 6d9c79fb succeeds
mentioned in commit 32ed09ba
merged