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

> OK with two incredibly petty comments fixed:

[...]

Installed with the two suggestions as 052204fac58.

Thanks for reviewing!

  Andrea

Reply via email to