Closed GoogleCodeExporter closed 9 years ago
Thanks for your report. I am already aware of this issue. Very strange... still
trying to fix it...
Original comment by jpouder...@gmail.com
on 2 Jan 2012 at 9:19
Finally fixed in revision 126!
Joachim
Original comment by jpouder...@gmail.com
on 13 Jan 2012 at 10:57
Original issue reported on code.google.com by
benjamin...@hpi.uni-potsdam.de
on 9 Dec 2011 at 5:03Attachments: