On Thu, Mar 25, 2021 at 5:44 AM Dilip Kumar <[email protected]> wrote: > Okay got it. Fixed as suggested.
Committed with a bit of editing of the comments. -- Robert Haas EDB: http://www.enterprisedb.com
On Thu, Mar 25, 2021 at 5:44 AM Dilip Kumar <[email protected]> wrote: > Okay got it. Fixed as suggested.
Committed with a bit of editing of the comments. -- Robert Haas EDB: http://www.enterprisedb.com