aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--CHANGES6
1 files changed, 6 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 2040c1b57..d9322a888 100644
--- a/CHANGES
+++ b/CHANGES
@@ -108,6 +108,12 @@ Standard Library
facts about them, and conversions between decimal numbers and nat,
positive, N, Z, and string.
+- Some deprecated aliases are now emitting warnings when used.
+
+Compatibility support
+
+- Support for compatibility with versions before 8.6 was dropped.
+
Changes from 8.7.1 to 8.7.2
===========================