http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55699
Denis Excoffier <g...@denis-excoffier.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |WORKSFORME
--- Comment #2 from Denis Excoffier <g...@denis-excoffier.org> 2012-12-19
21:09:40 UTC ---
In plain gmp-5.1.0 (ftp://gmplib.org/pub/gmp-5.1.0) the ERROR was downgraded
into a WARNING,
so the patch is no longer necessary. Nevertheless, in my opinion, it should
still be applied.
