From 30237c004d3faebbcddbf12fc319b9c02e593b65 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sun, 2 May 2021 18:32:02 +0900 Subject: [PATCH] Update CHANGES for PR #9120 --- CHANGES | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES b/CHANGES index 3a5750418b2..7028c9e6860 100644 --- a/CHANGES +++ b/CHANGES @@ -14,6 +14,8 @@ Features added -------------- * #9129: html search: Show search summaries when html_copy_source = False +* #9120: html theme: Eliminate prompt characters of code-block from copyable + text * #9097: Optimize the paralell build