Closes #532 (closed)
enabled an automatic merge when the pipeline for f927a654 succeeds
mentioned in commit 4a7d32b6
merged