Hello, On Tue, Apr 2, 2024 at 8:26 PM Richard Sandiford <richard.sandif...@arm.com> wrote: > I don't know if you're waiting on me, but just in case: this and patch 3 > still LGTM if Thomas is OK with them.
Thanks. Thomas asked me to resubmit with Changelog entries added (but hasn't pointed out anything else), so this is waiting for him to confirm that this looks OK now. Sergey