Closed GoogleCodeExporter closed 9 years ago
Original comment by NicoPete...@gmail.com
on 13 May 2008 at 7:33
Original comment by NicoPete...@gmail.com
on 19 Jun 2008 at 11:05
Original comment by NicoPete...@gmail.com
on 19 Jun 2008 at 11:09
rev #647
Original comment by NicoPete...@gmail.com
on 10 Jul 2008 at 9:30
Verified the fix. A surprisingly small change :)
Original comment by steffen....@gmail.com
on 11 Jul 2008 at 11:37
Original issue reported on code.google.com by
steffen....@gmail.com
on 13 May 2008 at 11:50