summaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS2
1 files changed, 2 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 435279fa..ff3f19fe 100644
--- a/NEWS
+++ b/NEWS
@@ -62,6 +62,8 @@ Bison News
* Changes in version 2.5.1 (????-??-??):
+** Minor improvements have been made to the manual.
+
* Changes in version 2.5 (2011-05-14):
** Grammar symbol names can now contain non-initial dashes: