aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--NEWS2
1 files changed, 2 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index c31ab2dac6..8d09fd71e1 100644
--- a/NEWS
+++ b/NEWS
@@ -332,6 +332,8 @@ with all sufficient information, see the ChangeLog file or Redmine
* st_table (st.c) internal data structure is improved. [Feature #12142]
+* Rational is extensively optimized. [Feature #12484]
+
=== Miscellaneous changes
* ChangeLog is removed from the repository.