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.
--
Robert Haas
EDB: http://www.enterprisedb.com