Pipeline #4793035 passed
Pipeline passed for 76b0549c on dev2 2 years ago
Pipeline #4793102 passed
Pipeline passed for 87bd23d3 on master 2 years ago
enabled an automatic merge when the pipeline for 76b0549c succeeds
merged
mentioned in commit 87bd23d3