Closes #3 (closed)
Pipeline #3187 passed
Pipeline passed for a5c2d05d on 3-instructions 6 years ago
Pipeline #3189 passed
Pipeline passed for 1360363e on develop 6 years ago
enabled an automatic merge when the pipeline for a5c2d05d succeeds
mentioned in commit 1360363e
merged