From 8653ceca0021f6ac6ff0aac6c26e2a455c6d4b21 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sat, 24 Apr 2021 18:51:17 +0900 Subject: [PATCH] Update CHANGES for PR #9129 --- CHANGES | 2 ++ 1 file changed, 2 insertions(+) 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 ----------