Closes #635 (closed)
enabled an automatic merge when the pipeline for b1491b6c succeeds
merged
mentioned in commit d7020eae