On Fri, 14 Jul 2023 16:06:18 +0100, Eric Auger <eric.auger@xxxxxxxxxx> wrote: > > Hi Marc, > > On 7/14/23 12:10, Marc Zyngier wrote: > > On Thu, 13 Jul 2023 16:53:40 +0100, > > Marc Zyngier <maz@xxxxxxxxxx> wrote: > >> Hey Eric, > >> > >> Thanks for looking into this, much appreciated given how tedious it > >> is. > > FWIW, here are the changes I'm going to squash in that patch. Shout if > > you spot something that looks odd... [...] > Looks good to me. Feel free to add my > Reviewed-by: Eric Auger <eric.auger@xxxxxxxxxx> Thank you! M. -- Without deviation from the norm, progress is not possible.
