Closes #752 (closed)
enabled an automatic merge when the pipeline for 9f4d7b76 succeeds
merged
mentioned in commit d72b4887