On Apr 13, 2012, at 7:39 AM, Bernhard Reutner-Fischer wrote:
> On Fri, Apr 13, 2012 at 06:57:44AM -0700, Mike Stump wrote:
>> On Apr 13, 2012, at 3:51 AM, Bernhard Reutner-Fischer wrote:
>>> Ping.
>>
>> Before advancing, has the problem that Rainer pointed out on March 19th with
>> your earlier p
On Fri, Apr 13, 2012 at 06:57:44AM -0700, Mike Stump wrote:
>On Apr 13, 2012, at 3:51 AM, Bernhard Reutner-Fischer wrote:
>> Ping.
>
>Before advancing, has the problem that Rainer pointed out on March 19th with
>your earlier patch been fixed?
I believe that it is fixed, yes. See r185688 and my fo
On Apr 13, 2012, at 3:51 AM, Bernhard Reutner-Fischer wrote:
> Ping.
Before advancing, has the problem that Rainer pointed out on March 19th with
your earlier patch been fixed?