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

Reply via email to