1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 502f848fb..2db8ace96 100644
--- a/CHANGES
+++ b/CHANGES
@@ -19,6 +19,7 @@ Tactic language
 
 - Ltac backtraces now include trace information about tactics
   called by OCaml-defined tactics.
+- Option "Ltac Debug" now applies also to terms built using Ltac functions.
 
 Changes from 8.8+beta1 to 8.8.0
 ===============================