Pipeline #54630 passed
Pipeline passed for efbadc80 on bugfix/add-missing-forward-declaration 2 years ago
Pipeline #54638 passed
Pipeline passed for 0e847f8e on master 2 years ago
enabled an automatic merge when the pipeline for efbadc80 succeeds
mentioned in commit 0e847f8e
merged