enabled an automatic merge when the pipeline for c7ae343e succeeds
CI failure is unrelated -- merging.
canceled the automatic merge
merged
mentioned in commit afca8d2d