Checking pipeline status.
assigned to @p.const
enabled an automatic merge when the pipeline for eb3cbc80 succeeds
merged
mentioned in commit d6db574e