On Mon, Feb 08, 2016 at 10:14:14AM +0100, Paolo Bonzini wrote: > Michael, these were missing in your pull request, probably because you > weren't CCed. Do you want me to pick them instead?
Sure, go ahead. Thanks! > Thanks, > > Paolo
On Mon, Feb 08, 2016 at 10:14:14AM +0100, Paolo Bonzini wrote: > Michael, these were missing in your pull request, probably because you > weren't CCed. Do you want me to pick them instead?
Sure, go ahead. Thanks! > Thanks, > > Paolo