On Tue, May 11, 2021 at 12:57 PM David Rowley <dgrowleyml@gmail.com> wrote:
>
> On Tue, 11 May 2021 at 15:46, David Rowley <dgrowleyml@gmail.com> wrote:
> > I'll take care of this.
>
> Pushed.
Thank you.
--
Amit Langote
EDB: http://www.enterprisedb.com