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