Pipeline #4123 passed
Pipeline passed for 1caed57c on se2 5 years ago
Merge details
Pipeline #4124 passed
Pipeline passed for 2966c7e1 on devel 5 years ago
enabled an automatic merge when the pipeline for 1caed57c succeeds
merged
mentioned in commit 2966c7e1