Closes #742 (closed)
enabled an automatic merge when the pipeline for f48493f6 succeeds
merged
mentioned in commit 7e6b7ad0