Closes #558 (closed)
enabled an automatic merge when the pipeline for 23d2e0c9 succeeds
merged
mentioned in commit 5ed8a9e6