Closed GoogleCodeExporter closed 8 years ago
Thanks for the report Filipe. I think that code is unused at the moment, but
we ought to fix it anyway.
Original comment by wnbell
on 1 Oct 2010 at 7:17
[deleted comment]
oops, closed the wrong issue
Original comment by wnbell
on 1 Oct 2010 at 7:34
This issue was closed by revision c81344127c.
Original comment by wnbell
on 1 Oct 2010 at 7:38
Original issue reported on code.google.com by
filipe.c...@gmail.com
on 1 Oct 2010 at 7:08Attachments: