Pipeline #13303 passed
Pipeline passed for 0e5dccbe on fix-choserole 3 years ago
Pipeline #13304 passed
Pipeline passed for 40ca3121 on master 3 years ago
enabled an automatic merge when the pipeline for 0e5dccbe succeeds
merged
mentioned in commit 40ca3121