Pipeline #9654 passed
Pipeline passed for 8c8bd890 on merge 6 years ago
Merge details
Pipeline #9656 passed
Pipeline passed for 86b49cb1 on master 6 years ago
enabled an automatic merge when the pipeline for 8c8bd890 succeeds
merged
mentioned in commit 86b49cb1