Closes #111 (closed)
enabled an automatic merge when the pipeline for 2aa0d0d2 succeeds
mentioned in commit f761bcfd
merged