------- Comment #5 from bonzini at gnu dot org 2010-07-08 16:24 ------- The patch is okay, but it should be tested with bootstrap, `make install' and a smoke test after install with:
- in-tree GMP, in-tree MPFR 2.3 - in-tree GMP, in-tree MPFR 3.0 - out-of-tree GMP, in-tree MPFR 2.3 - out-of-tree GMP, in-tree MPFR 3.0 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44455
