At Tue, 12 Jul 2022 10:30:20 -0400, Robert Haas <robertmhaas(at)gmail(dot)com> wrote in
> 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.
Thank you, Robert and Dilip.
regards.
--
Kyotaro Horiguchi
NTT Open Source Software Center