Pipeline #17118 passed
Pipeline passed for 20171b22 on feature/fix-novlpschwarz 6 years ago
Merge details
Pipeline #17148 passed
Pipeline passed for 1a90fd2c on master 6 years ago
enabled an automatic merge when the pipeline for 20171b22 succeeds
merged
mentioned in commit 1a90fd2c