On Mon, Dec 4, 2023 at 3:24 AM Philippe Mathieu-Daudé <phi...@linaro.org> wrote:
> Hi Patrick, > > On 3/12/23 16:42, Patrick Venture wrote: > > > Friendly ping? Is this going to be applied or do I need to add another > > CC or? I do think it should go into stable. > > I'll send a PR with this patch included. > Thanks! > > Regards, > > Phil. >
