Closes #23 (closed)
Pipeline #3177 failed
Pipeline failed for d9919554 on 23-rename_output 6 years ago
Merge details
Closed #23 (closed)
Pipeline #3192 passed
Pipeline passed for 56539919 on master 6 years ago
enabled an automatic merge when the pipeline for d9919554 succeeds
canceled the automatic merge
mentioned in commit 56539919
merged