Pipeline #19195 passed
Pipeline passed for 09b45c48 on ansgar:cleanup-1 5 years ago
Merge details
Pipeline #19196 passed
Pipeline passed for 76d9795d on master 5 years ago
enabled an automatic merge when the pipeline for 09b45c48 succeeds
merged
mentioned in commit 76d9795d