Pipeline #4166 passed
Pipeline passed for 94fd8248 on #28 5 years ago
Merge details
Pipeline #4167 passed
Pipeline passed for 8671e5dc on development 5 years ago
enabled an automatic merge when the pipeline for 94fd8248 succeeds
merged
mentioned in commit 8671e5dc