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