Richard Sandiford <richard.sandiford@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