Pipeline #10034 passed
Pipeline passed for 3dcd838a on fix-spelling 6 years ago
Pipeline #10035 passed
Pipeline passed for afdd41a8 on master 6 years ago
enabled an automatic merge when the pipeline for 3dcd838a succeeds
merged
mentioned in commit afdd41a8