On Wed, Dec 4, 2024 at 11:10 AM Nathan Bossart <nathandbossart@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