Checking pipeline status.
assigned to @airibarr and @morrice
enabled an automatic merge when the pipeline for ed69f3fa succeeds
merged
mentioned in commit eb2d0003