On 08.06.2017 14:53, Paolo Bonzini wrote: > > > On 08/06/2017 09:04, Markus Armbruster wrote: >> The fix is fine, so >> >> Reviewed-by: Markus Armbruster <arm...@redhat.com> > > Who's going to merge it?
Could you do it, Paolo? You also merged my commit bde4d9205 that introduced this bug... Thomas
