On 3 February 2014 09:54, Stefan Hajnoczi <stefa...@redhat.com> wrote: > I still think we should merge these patches :). Are you happy to merge > them?
They look like they're fixing a bug to me, so yes. You could make my life easier by arranging for them to appear in a pull request... thanks -- PMM