On Thu, 23 May 2013, Bill Allombert wrote:
On Thu, May 23, 2013 at 11:36:58AM +0200, Torbjorn Granlund wrote:Thanks for the report!Incidentally, Marco spotted this report someplace, and I committed a fix yesterday.I gather the bug is still present to 5.1.2, so could you advise a fix ?
http://gmplib.org:8000/gmp-5.1/rev/394bdf8fdaee -- Marc Glisse -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org