Closes #270 (closed)
enabled an automatic merge when the pipeline for f51c3361 succeeds
mentioned in commit f33dfdad
merged