[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).