This resolves #914 (closed).
enabled an automatic merge when the pipeline for 43588b50 succeeds
merged
mentioned in commit ff69c8e9