Closed GoogleCodeExporter closed 9 years ago
Yup, that's obviously a bug :)
Thanks for reporting
Original comment by alexande...@gmail.com
on 7 Jul 2012 at 5:46
This issue was closed by revision r1659.
Original comment by alexande...@gmail.com
on 7 Jul 2012 at 5:55
Original issue reported on code.google.com by
ecarm...@ucr.edu
on 7 Jul 2012 at 4:02