bug-grep
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 0/2] Fix for bug reported by Arnold

From: Paul Eggert
Subject: Re: [PATCH 0/2] Fix for bug reported by Arnold
Date: Fri, 05 Jul 2013 07:26:54 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130623 Thunderbird/17.0.7 
On 07/05/2013 04:28 AM, Paolo Bonzini wrote:
> Can anyone commit this for me?

Thanks to everyone; comitted.  I also touched up the white space and comments,
in a followup patch.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]