Richard Sandiford <richard.sandif...@arm.com> writes:
[...]
> OK for both.  Thanks for doing this.
>
> Richard

Welcome, installed into master as 44e570d9fb0.

Will follow-up for the backport.

Thanks!

  Andrea

Reply via email to