1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 240d71ec04..3b4d265988 100644
--- a/CHANGES
+++ b/CHANGES
@@ -26,6 +26,10 @@ Plugins
 
 - The mathematical proof language (also known as declarative mode) was removed.
 
+Dependencies
+
+- Support for camlp4 has been removed.
+
 Changes from V8.6beta1 to V8.6
 ==============================