Pipeline #8687 passed
Pipeline passed for 43a7e398 on merge-12.1.8 6 years ago
Pipeline #8688 passed
Pipeline passed for d8cee7dc on devel_12.2.x 6 years ago
enabled an automatic merge when the pipeline for 43a7e398 succeeds
merged
mentioned in commit d8cee7dc