On Tue, Aug 2, 2022 at 6:58 AM David Rowley <dgrowle...@gmail.com> wrote: > On Thu, 28 Jul 2022 at 19:37, Amit Langote <amitlangot...@gmail.com> wrote: > > > > On Thu, Jul 28, 2022 at 11:59 AM David Rowley <dgrowle...@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
