On Thu, Nov 25, 2021 at 8:21 AM [email protected] <[email protected]> wrote: > > On Wed, Nov 24, 2021 7:29 PM, Michael Paquier <[email protected]> wrote:
> > Thanks for your comment. I agree with you. > I have fixed it and attached v2 patch. Good catch, your patch looks fine to me and solves the reported problem. -- Regards, Dilip Kumar EnterpriseDB: http://www.enterprisedb.com
