[Bug bootstrap/50461] mpfr.h found in mpfr-3.1.0/src instead of mpfr-3.0.1/. as previously

[karl at freefriends dot org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50461

karl at freefriends dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |karl at freefriends dot org

--- Comment #10 from karl at freefriends dot org 2012-09-21 17:17:27 UTC ---
Also for the record, it remains unfixed in 4.7.2, and the same patch still
fixes it ... (mpc 1.0.1, mpfr 3.1.1, gmp 5.0.5).