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. -- Robert Haas EDB: http://www.enterprisedb.com
