On Wed, Sep 16, 2020 at 10:27 PM Ashutosh Sharma <[email protected]> wrote: > > This is OK by me. > > Looks good to me too.
Cool, thanks to both of you for looking. Committed. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
