This reverts commit c6c52158
Pipeline #1246 passed
Pipeline passed for 7bce2bb2 on revert-c6c52158 6 years ago
Pipeline #1247 passed
Pipeline passed for c93e0b28 on master 6 years ago
enabled an automatic merge when the pipeline for 7bce2bb2 succeeds
merged
mentioned in commit c93e0b28