Closed GoogleCodeExporter closed 9 years ago
Thanks for the bug report. I will make a patch.
Original comment by fergus.h...@gmail.com
on 8 Sep 2008 at 7:51
Original comment by fergus.h...@gmail.com
on 8 Sep 2008 at 7:51
Fixed on 2008-09-09 in r610.
Original comment by fergus.h...@gmail.com
on 23 Sep 2008 at 10:26
Original issue reported on code.google.com by
nilswoet...@gmail.com
on 8 Sep 2008 at 3:01