diff --git a/mpfr b/mpfr index 4946742..3576927 160000 --- a/mpfr +++ b/mpfr @@ -1 +1 @@ -Subproject commit 4946742aaca0ed83df563088d52e52a83c05be1e +Subproject commit 357692753670bce5483b6a21f0a66f7528e00c52