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. David
