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 >