At Tue, 12 Jul 2022 10:30:20 -0400, Robert Haas <[email protected]> wrote in > 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.
Thank you, Robert and Dilip. regards. -- Kyotaro Horiguchi NTT Open Source Software Center
