Oops.
enabled an automatic merge when the pipeline for f7a13deb succeeds
canceled the automatic merge
mentioned in commit 7df66fc0
merged