Update CHANGES for PR #9129

sphinx-doc · Apr 24, 2021 · 8653cec · 8653cec
1 parent 634b05f
commit 8653cec
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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
 ----------