Robert Haas <robertmh...@gmail.com> writes: > On Wed, Dec 4, 2024 at 11:10 AM Nathan Bossart <nathandboss...@gmail.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
