From f0863099fe7b9d29b887edcb6aea12291c56a1dc Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 16 Apr 2018 21:41:37 +0200
Subject: Mention other deprecations and fixes in CHANGES

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

diff --git a/CHANGES b/CHANGES
index 40e8547ae9..c84aa00fb0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -35,6 +35,12 @@ Tactic language
   deprecated; please use `fix/cofix ident N` to explicitely name
   hypothesis to be introduced.
 
+Documentation
+
+- The reference manual is now fully ported to Sphinx.
+
+Other small deprecations and bug fixes.
+
 Changes from 8.7.2 to 8.8+beta1
 ===============================
 
-- 
cgit v1.2.3