On Tue, Nov 15, 2022 at 10:31:44AM +0100, Peter Eisentraut wrote: > I have committed this to master.
Thanks! > The surrounding code has changed a bit between PG15 and master, so if we > wanted to backpatch this, we'd need another patch from you. However, at > this point, I'm content to just leave it be in PG15. Sounds good to me. -- Nathan Bossart Amazon Web Services: https://aws.amazon.com