Pipeline #10137 passed
Pipeline passed for 8f62f86f on merge-13.0.0 5 years ago
Pipeline #10164 passed
Pipeline passed for 4c305a38 on master 5 years ago
enabled an automatic merge when the pipeline for 8f62f86f succeeds
merged
mentioned in commit 4c305a38