#50 (closed)
Pipeline #920 passed
Pipeline passed for df440c58 on 50-remove-stale-code 5 years ago
Pipeline #921 passed
Pipeline passed for 45c09e4b on master 5 years ago
enabled an automatic merge when the pipeline for df440c58 succeeds
merged
mentioned in commit 45c09e4b