Pipeline #13253 passed
Pipeline passed for 54fc25c1 on c++-compatibility 7 years ago
Pipeline #13255 passed
Pipeline passed for bd5d8ea3 on master 7 years ago
enabled an automatic merge when the pipeline for 54fc25c1 succeeds
merged
mentioned in commit bd5d8ea3