On Tue, Jul 12, 2022 at 12:07 AM Dilip Kumar <dilipbal...@gmail.com> 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 <dilipbal...@gmail.com> 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