On Fri, Mar 22, 2024 at 4:51 PM Nathan Bossart <nathandbossart@gmail.com> wrote:
> Actually, shouldn't this one be back-patched to v16? If so, I'd do that
> one separately from the other changes we are discussing.
Sure, that seems fine.
--
Robert Haas
EDB: http://www.enterprisedb.com