Let's see if CI agrees with me.
enabled an automatic merge when the pipeline for b0eea606 succeeds
merged
mentioned in commit 3b4649a7