On 2018-10-17 20:40:17 [+0200], Paolo Bonzini wrote:
> It's queued for my next pull request.

thanks.

> Paolo

Sebastian

Reply via email to