On Fri, Sep 30, 2022 at 3:36 PM <[email protected]> wrote: > Ping! This series has been reviewed. > > I can take it via target-arm.next if you'd prefer.
Yeah, I would say just take it through your tree. Reviewed-by: Paolo Bonzini <[email protected]> Paolo
