diff --git a/CHANGES b/CHANGES
index 9da946b284..1f0e0247dc 100644
--- a/CHANGES
+++ b/CHANGES
@@ -13,8 +13,10 @@ Deprecated
 Features added
 --------------
 
+* #9129: html search: Show search summaries when html_copy_source = False
 * #9097: Optimize the paralell build
 
+
 Bugs fixed
 ----------