At Tue, 12 Jul 2022 10:30:20 -0400, Robert Haas <robertmhaas@gmail.com> wrote in
> On Tue, Jul 12, 2022 at 12:07 AM Dilip Kumar <dilipbalaut@gmail.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