Checking pipeline status.
enabled an automatic merge when the pipeline for 7b23124b succeeds
merged
mentioned in commit 8ff64fab