Closes #1020 (closed)
enabled an automatic merge when the pipeline for dfb90a1f succeeds
mentioned in commit be5d0a9b
merged