075195a Devel updates (to-be-0.8.3, SVN release 855)

Authored and Committed by Petr Machata 13 years ago
    Devel updates (to-be-0.8.3, SVN release 855)
    - this is to support upcoming mpfr3 update
    
        
file modified
+1 -0
file modified
+19 -5
file modified
+1 -1