use fast string formatting routines
authorJann Horn <jannhorn@googlemail.com>
Mon, 12 Nov 2012 16:43:31 +0000 (17:43 +0100)
committerJann Horn <jannhorn@googlemail.com>
Mon, 12 Nov 2012 16:43:31 +0000 (17:43 +0100)

No differences found