On Tue, Jul 12, 2022 at 12:07 AM Dilip Kumar <dilipbalaut(at)gmail(dot)com> wrote:> I think the naming used in your patch looks better to me. So +1 for the change.
Committed.
-- Robert HaasEDB: http://www.enterprisedb.com