Closes #57 (closed)
enabled an automatic merge when the pipeline for a96980a3 succeeds
merged
mentioned in commit 916089b5