fixed performance issue with StringIO.
authorGiovanni Gherdovich <ggherdov@brentaal.inria.fr>
Mon, 11 Oct 2010 14:22:16 +0000 (16:22 +0200)
committerGiovanni Gherdovich <ggherdov@brentaal.inria.fr>
Mon, 11 Oct 2010 14:22:16 +0000 (16:22 +0200)

No differences found