Closes #265 (closed)
enabled an automatic merge when the pipeline for 51c39276 succeeds
mentioned in commit aaad2329
merged