summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--NEWS2
1 files changed, 1 insertions, 1 deletions
diff --git a/NEWS b/NEWS
index a3d909e03..b6c3795ae 100644
--- a/NEWS
+++ b/NEWS
@@ -21,7 +21,7 @@ https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
##############################################################################
Changes from versions 4.0.* to version 4.1.0:
-- The "..." release.
+- The "épinards à la crème" release.
- New --enable-formally-proven-code configure option, to use (when available)
formally proven code.
- Improved __GMP_CC and __GMP_CFLAGS retrieval (in particular for MS Windows).