On Tue, Jul 12, 2022 at 12:07 AM Dilip Kumar <[email protected]> wrote: > I think the naming used in your patch looks better to me. So +1 for the > change.
Committed. -- Robert Haas EDB: http://www.enterprisedb.com
On Tue, Jul 12, 2022 at 12:07 AM Dilip Kumar <[email protected]> wrote: > I think the naming used in your patch looks better to me. So +1 for the > change.
Committed. -- Robert Haas EDB: http://www.enterprisedb.com