Closes #160 (closed)
enabled an automatic merge when the pipeline for 54293974 succeeds
mentioned in commit b76c958e
merged