write-to-string is available at host via !write-to-string
authorDavid Vázquez <davazp@gmail.com>
Thu, 29 Aug 2013 11:00:17 +0000 (13:00 +0200)
committerDavid Vázquez <davazp@gmail.com>
Thu, 29 Aug 2013 11:00:34 +0000 (13:00 +0200)

No differences found