This reverts commit 8f536aab
Pipeline #3332 passed
Pipeline passed for bc6c09e8 on revert-8f536aab 5 years ago
Pipeline #3333 passed
Pipeline passed for 717de4dc on develop 5 years ago
enabled an automatic merge when the pipeline for bc6c09e8 succeeds
merged
mentioned in commit 717de4dc