Pipeline #13774 passed
Pipeline passed for cbb1d5a0 on master 3 years ago
Merge details
Pipeline #13775 passed
Pipeline passed for 3f17d7f4 on dev-nico 3 years ago
enabled an automatic merge when the pipeline for cbb1d5a0 succeeds
merged
mentioned in commit 3f17d7f4