Thanks for pushing and for the extra scan.
Regards,
Jianghua Yang
Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> 于2026年3月19日周四 11:26写道:
> I wrote:
> > Fair point. Still, this is such an unlikely edge-case that
> > I don't think it's worth a back-patch. Let's just do HEAD.
>
> Pushed. I also looked around for other instances of the same
> pattern, and couldn't find any.
>
> regards, tom lane
>