aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-03-02 23:48:44 +0100
committerGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-03-02 23:48:44 +0100
commit2f60c1bab0ce391aa60cc6c387b9d36a1ae70905 (patch)
tree7e31a0a5dee5aed5a71f13871c347d493837f671 /CHANGES
parent3ce123f16ce19f67dde4a0f3f2874a2678649907 (diff)
CHANGES entry for #6791.
Diffstat (limited to 'CHANGES')
-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
===========================