Closed GoogleCodeExporter closed 9 years ago
I have reproduced the bug and will fix it when I can. Thanks for your report.
Original comment by marc.r...@gmail.com
on 3 Dec 2010 at 6:31
Can you confirm if this still happens? I don't remember how I reproduced it
last time and now I can't.
Original comment by marc.r...@gmail.com
on 16 Aug 2012 at 5:46
Closing because I don't know how to reproduce it.
Original comment by marc.r...@gmail.com
on 12 May 2013 at 10:33
Original issue reported on code.google.com by
kmcha...@gmail.com
on 2 Dec 2010 at 10:14