Checking pipeline status.
assigned to @babadie
enabled an automatic merge when the pipeline for eff169ec succeeds
mentioned in commit d9088aed
merged