Fixes #49 (closed)
Pipeline #6992 failed
Pipeline failed for fda29a0d on patch-1 8 years ago
Pipeline #6998 passed
Pipeline passed for 147e04e7 on master 8 years ago
enabled an automatic merge when the pipeline for fda29a0d succeeds
canceled the automatic merge
mentioned in commit 147e04e7
merged