This reverts commit 0fa3bbe5.
This resolves #943 (closed).
enabled an automatic merge when the pipeline for 0e04eab8 succeeds
merged
mentioned in commit 85f1ede9