Closed GoogleCodeExporter closed 8 years ago
This issue was closed by revision r504.
Original comment by moo...@wwwendt.de
on 1 Jul 2011 at 6:48
considered verified
Original comment by moo...@wwwendt.de
on 17 Jul 2012 at 4:16
Original comment by moo...@wwwendt.de
on 17 Jul 2012 at 4:19
Original issue reported on code.google.com by
moo...@wwwendt.de
on 1 Jul 2011 at 6:24