On Tue, Aug 2, 2022 at 6:58 AM David Rowley <dgrowleyml@gmail.com> wrote:
> On Thu, 28 Jul 2022 at 19:37, Amit Langote <amitlangote09@gmail.com> wrote:
> >
> > On Thu, Jul 28, 2022 at 11:59 AM David Rowley <dgrowleyml@gmail.com> wrote:
>
> > > I'd quite like to push this patch early next week, so if anyone else
> > > is following along that might have any objections, could they do so
> > > before then?
> >
> > I have no more comments.
>
> Thank you both for the reviews.
>
> I've now pushed this.
Thank you for working on this.
--
Thanks, Amit Langote
EDB: http://www.enterprisedb.com