I pulled and tested around 8:00 AM EDT today (because I let myself get so far 
behind on commits that I couldn't tell if a fix had been pushed or not) and the 
problem still existed at that time.

On Jun 25, 2013, at 11:52 AM, Bastien <b...@altern.org> wrote:

> Nicolas Richard <theonewiththeevill...@yahoo.fr> writes:
>> Meanwhile, John Hendy reported that the issue is resolved for him, so
>> maybe I notice the thread too late to be useful, otoh I don't see which
>> commit solved the problem, so maybe luck is involved in his resolution.
> Well, I'm really curious to see if affected users can confirm it is
> solved... I didn't have time to fix it, and I'd be glad Luck did it
> for me!
> -- 
> Bastien

Reply via email to