From 3bb0cb692d12b96f1ed9820fb514a03ece27a77b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Thu, 14 Sep 2023 09:51:41 +0200 Subject: [PATCH] update to current state --- mpfr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mpfr b/mpfr index 4946742..3576927 160000 --- a/mpfr +++ b/mpfr @@ -1 +1 @@ -Subproject commit 4946742aaca0ed83df563088d52e52a83c05be1e +Subproject commit 357692753670bce5483b6a21f0a66f7528e00c52