On 07/31/2012 09:17 PM, Dave Goodell wrote:
> On Jul 20, 2012, at 9:02 AM CDT, Dave Goodell wrote:
>
>> On Jul 12, 2012, at 3:43 PM CDT, Stefano Lattarini wrote:
>>
>>> In particular, I propose the attached patch. Can you give it a try to check
>>> whether it works?
>>
>> I'm currently in the pro
On Jul 20, 2012, at 9:02 AM CDT, Dave Goodell wrote:
> On Jul 12, 2012, at 3:43 PM CDT, Stefano Lattarini wrote:
>
>> In particular, I propose the attached patch. Can you give it a try to check
>> whether it works?
>
> I'm currently in the process of running the test suite with the given patch,
