Richard Sandiford <richard.sandif...@arm.com> writes:

> OK, thanks.  FWIW, this would also have been OK under the
> “obviously correct” rule (but asking is obviously OK too :-))
>
> Richard

Installed as ee7aa7e7b9d

Thanks for having a look and for the info!

  Andrea

Reply via email to