On Thu, Jan 27, 2022 at 7:15 AM tushar <tushar.ah...@enterprisedb.com> wrote: > On 1/27/22 2:15 AM, Robert Haas wrote: > > The attached patch should fix this, too. > Thanks, the issues seem to be fixed now.
Cool. I committed that patch. -- Robert Haas EDB: http://www.enterprisedb.com
