> On Mar 3, 2020, at 8:25 AM, Paolo Bonzini <pbonz...@redhat.com> wrote: > > On 03/03/20 09:05, Felipe Franciosi wrote: >>> >>> Paolo, would you queue it? >> Ping: did this get lost? > > Yes, I have queued it now and fixed the conflicts. > > Paolo >
Thanks! Sorry for conflicts, I should have pinged sooner. F.