On Mon, 3 Jun 2013 17:06:53 +0200 Paolo Bonzini <pbonz...@redhat.com> wrote:
> My patch committed at 87f25c12bfeaaa0c41fb857713bbc7e8a9b757dc > was broken. These patches fix the problem in a better way. Looks good to me: Reviewed-by: Luiz Capitulino <lcapitul...@redhat.com>
