On Thu, 2023-09-28 at 11:34 -0400, Robert Haas wrote: > I guess it depends on whether we think this is a bug. I think you > could argue it either way.
I'd suggest backporting to 16 unless there's some kind of difficulty.
Otherwise we have a minor difference in behavior for no reason.
Regards,
Jeff Davis
