Pipeline #9413 passed
Pipeline passed for 7788e7bb on doc27 8 years ago
Pipeline #9414 passed
Pipeline passed for 2237fdf1 on master 8 years ago
enabled an automatic merge when the pipeline for 7788e7bb succeeds
mentioned in commit 2237fdf1
merged