Closes #678 (closed)
enabled an automatic merge when the pipeline for 9a612ef5 succeeds
merged
mentioned in commit a998165d