Closes #442 (closed)
enabled an automatic merge when the pipeline for 1ad7e321 succeeds
merged
mentioned in commit a767f8c4