From 2f60c1bab0ce391aa60cc6c387b9d36a1ae70905 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 2 Mar 2018 23:48:44 +0100
Subject: CHANGES entry for #6791.

---
 CHANGES | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGES b/CHANGES
index 2040c1b57e..d9322a888e 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
 ===========================
 
-- 
cgit v1.2.3