On Sat, Mar 23, 2024 at 08:37:20AM -0400, Robert Haas wrote:
> On Fri, Mar 22, 2024 at 4:51 PM Nathan Bossart <nathandbossart(at)gmail(dot)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.
Committed that part.
--
Nathan Bossart
Amazon Web Services: https://aws.amazon.com