Pipeline #18895 passed
Pipeline passed for 92aacc34 on warn-about-missing-submodules-part-2 5 years ago
Pipeline #18947 passed
Pipeline passed for 8065f54e on master 5 years ago
enabled an automatic merge when the pipeline for 92aacc34 succeeds
merged
mentioned in commit 8065f54e