On Tue, Sep 11, 2018 at 01:10:56PM +0200, Paolo Bonzini wrote: > On 11/09/2018 12:18, Pavel Dovgalyuk wrote: > > Paolo, have you forgot about this? > > > > Pavel Dovgalyuk > > Yes, though Gerd might be a better match for the patch.
Dropped it from my patch mailbox after seeing your 'queued' message. Pavel, can you resend? thanks, Gerd
