On Sat, 10 Jul 2021 at 07:30, Robert Haas <robertmhaas@gmail.com> wrote:
>
> On Fri, Jul 9, 2021 at 11:35 AM David Rowley <dgrowleyml@gmail.com> wrote:
> > I really like that name.
> >
> > I'll wait to see if anyone else wants to voice their opinion before I
> > do any renaming work.
>
> I like it, too.
Great. I've attached my first draft patch to do the renaming.
It would be good to move fairly quickly on this before REL_14_STABLE
and master diverge too much. At the moment the patch applies to both
versions without any issues.
Does anyone not like the proposed name?
David