On Mon, Feb 03, 2014 at 10:30:08AM +0000, Peter Maydell wrote: > 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...
Your wish is my command. I have sent a pull request (after rebasing and retesting). Stefan
