Subject: Re: Problems with Guile's number printer
From: Mark H Weaver <[email-masked]>
To: Andy Wingo <[email-masked]>
Cc: [email-masked], Daniel Llorens <[email-masked]>
Date: Sun, 17 Mar 2013 19:47:35 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

I've pushed 1ea37620c2c1794f7685b312d2530676a078ada7 to stable-2.0,
which fixes our number printer.  Closing this bug.

   Thanks,
     Mark