Closed GoogleCodeExporter closed 9 years ago
Original comment by moo...@wwwendt.de
on 3 Nov 2008 at 7:36
Fixed by r79
Original comment by moo...@wwwendt.de
on 3 Nov 2008 at 8:25
considered verified
Original comment by moo...@wwwendt.de
on 17 Jul 2012 at 4:12
Original issue reported on code.google.com by
andreasblixt
on 3 Nov 2008 at 9:28