Pipeline #11914 passed
Pipeline passed for 324bd7c7 on bug/110/cmdline 5 years ago
Merge details
Closed #110 (closed)
Pipeline #11916 passed
Pipeline passed for 6b356232 on master 5 years ago
enabled an automatic merge when the pipeline for 324bd7c7 succeeds
merged
mentioned in commit 6b356232
