Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> On Wed, Dec 4, 2024 at 11:10 AM Nathan Bossart <nathandbossart(at)gmail(dot)com> wrote:
>> D'oh, sorry. Even so, I think I'd still vote for back-patching the v17
>> commit that inadvertently fixed this.
> Gotcha. Let's see if anyone else votes.
+1 for a back-patch of 025584a16. It's made it through a couple of
minor releases now, so I think it's more trustworthy than a
one-liner that you have low confidence in.
regards, tom lane