Re: [PATCH] arm: use quotes when referring to command-line options [PR90160]

[David Malcolm]

On Wed, 2024-12-04 at 11:22 +0000, Richard Earnshaw (lists) wrote:
> On 26/11/2024 15:51, David Malcolm wrote:
> > OK for trunk? 
> 
> OK
> 
> > (caveat: I haven't done a full test on this patch)
> 
> Linaro's CI has, it's clean.

Thanks; pushed as r15-5922-ga0ac8fa55a4749.