1 files changed, 9 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 3994caef6..234d6c0db 100644
--- a/CHANGES
+++ b/CHANGES
@@ -18,6 +18,15 @@ Tactic language
 - Ltac backtraces now contain include trace information about tactics
   called by OCaml-defined tactics.
 
+Changes from 8.8+beta1 to 8.8.0
+===============================
+
+Tools
+
+- Asynchronous proof delegation policy was fixed. Since version 8.7
+  Coq was ignoring previous runs and the -async-proofs-delegation-threshold
+  option did not have the expected behavior.
+
 Changes from 8.7.2 to 8.8+beta1
 ===============================