On 21 December 2017 at 20:37, Michael S. Tsirkin <m...@redhat.com> wrote:
> Done and pushed - I dropped the conflicting patch.

Have you also dropped the other one Philippe says depends on it?

thanks
-- PMM

Reply via email to