Update CHANGES for PR #9120

This commit is contained in:
Takeshi KOMIYA 2021-05-02 18:32:02 +09:00
parent 11d3a45ba2
commit 30237c004d

View File

@ -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