summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--NEWS7
1 files changed, 5 insertions, 2 deletions
diff --git a/NEWS b/NEWS
index b77ea8cf5..0e93221f3 100644
--- a/NEWS
+++ b/NEWS
@@ -17,11 +17,14 @@ Changes between GMP version 5.1.0 and 5.1.1
* A rare sign flip in mpz_remove has been fixed.
- * A bug causing problems with mpf numbers with absolute value > 2^31 has been
- fixed.
+ * A bug causing problems with mpf numbers with absolute value >= 2^31 has
+ been fixed.
* Several bugs in mini-gmp have been fixed.
+ * A bug caused by automake, related to the 'distcheck' target, has been fixed
+ by upgrading the automake used for GMP release engineering.
+
SPEEDUPS
* None.