closes #322 (closed)
enabled an automatic merge when the pipeline for 30efa86c succeeds
merged
mentioned in commit c93571b8