Thanks for pushing and for the extra scan.

  Regards,
  Jianghua Yang

Tom Lane <[email protected]> 于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
>

Reply via email to