Checking pipeline status.
Merge details
enabled an automatic merge when the pipeline for 6b4dc35b succeeds
mentioned in commit e42f96ae
merged