Checking pipeline status.
enabled an automatic merge when the pipeline for 83b11c8e succeeds
mentioned in commit d0d86d66
merged