On Thu, Jan 27, 2022 at 7:15 AM tushar <tushar(dot)ahuja(at)enterprisedb(dot)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