Robert Haas <[email protected]> writes: > On Wed, Dec 4, 2024 at 11:10 AM Nathan Bossart <[email protected]> > 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
