From ff4330abe370895e64d6ea42a58ae8538ec8c087 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sun, 26 Jul 2020 12:27:43 +0900 Subject: [PATCH] Update CHANGES for PR #7992 --- CHANGES | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES b/CHANGES index b82e17656..fd101f482 100644 --- a/CHANGES +++ b/CHANGES @@ -28,6 +28,7 @@ Features added * C, added :rst:dir:`c:alias` directive for inserting copies of existing declarations. * #7745: html: inventory is broken if the docname contains a space +* #7991: html search: Allow searching for numbers * #7902: html theme: Add a new option :confval:`globaltoc_maxdepth` to control the behavior of globaltoc in sidebar * #7840: i18n: Optimize the dependencies check on bootstrap