On Fri, Jan 20, 2023 at 1:10 PM Nathan Bossart <nathandboss...@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