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


Reply via email to