Checking pipeline status.
Pipeline #861948 passed
Pipeline passed for 98a40eac on master Dec 1, 2022
approved this merge request
enabled an automatic merge when the pipeline for 62726d4a succeeds
mentioned in commit 98a40eac
merged
