Pipeline #14676 passed
Pipeline passed for 2b58f91e on fix-small-copy-n-paste-bugs 6 years ago
Pipeline #14677 passed
Pipeline passed for dc687ac2 on master 6 years ago
enabled an automatic merge when the pipeline for 2b58f91e succeeds
merged
mentioned in commit dc687ac2