Closed GoogleCodeExporter closed 9 years ago
Current status unknown, should be fixed, though.
Original comment by hansgeorg.kluge@gmail.com
on 9 Jul 2008 at 2:06
Original comment by hansgeorg.kluge@gmail.com
on 9 Jul 2008 at 2:16
This issue was fixed a long time ago. It did not report the right text. Fixed
now.
Original comment by hansgeorg.kluge@gmail.com
on 28 Nov 2008 at 7:34
Original issue reported on code.google.com by
hansgeorg.kluge@gmail.com
on 12 Oct 2007 at 10:03