On Fri, Mar 22, 2024 at 4:51 PM Nathan Bossart <nathandboss...@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