Closes #83 (closed)
Only one line.
Pipeline #20227 passed
Pipeline passed for 61311598 on fix-imp 7 years ago
Merge details
Closed #83 (closed)
Pipeline #20234 passed
Pipeline passed for 65fc500c on master 7 years ago
enabled an automatic merge when the pipeline for 61311598 succeeds
mentioned in commit 65fc500c
merged