Closes #2 (closed)
Pipeline #4957371 passed
Pipeline passed for 2755cf9a on 2-mis-cased-error 2 years ago
Pipeline #4957389 passed
Pipeline passed for 86dbcb93 on master 2 years ago
enabled an automatic merge when the pipeline for 2755cf9a succeeds
merged
mentioned in commit 86dbcb93