On Fri, Jan 20, 2023 at 1:10 PM Nathan Bossart <nathandbossart@gmail.com> wrote:
> > Thanks, this is fixed now with the latest patches.
>
> Thank you for reviewing.
Thanks to you both. I have committed these patches.
--
Robert Haas
EDB: http://www.enterprisedb.com