Closes #458 (closed)
enabled an automatic merge when the pipeline for a3a70e07 succeeds
merged
mentioned in commit 96e1384f