Pipeline #21543 passed
Pipeline passed for fac19d07 on fixes 6 years ago
Pipeline #21547 passed
Pipeline passed for 0d77ab60 on master 6 years ago
enabled an automatic merge when the pipeline for fac19d07 succeeds
merged
mentioned in commit 0d77ab60