Closed GoogleCodeExporter closed 9 years ago
it's a bit worrying, given the age of the relevant change, but it might be
better now.
Original comment by Charles....@gmail.com
on 13 Jul 2010 at 11:06
Original comment by Charles....@gmail.com
on 14 Jul 2010 at 9:24
Original issue reported on code.google.com by
mechiel@ueber.net
on 13 Jul 2010 at 10:14Attachments: