On Fri, Jan 20, 2023 at 1:10 PM Nathan Bossart <[email protected]> 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
