From 7acafa991b1da7f7ce1d8c179b0bba3ddf4feab6 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sun, 10 Jan 2021 15:04:59 +0900 Subject: [PATCH] Update CHANGES for PR #8665 --- CHANGES | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES b/CHANGES index 5cbd13dbc..b10c7f5fd 100644 --- a/CHANGES +++ b/CHANGES @@ -43,6 +43,7 @@ Bugs fixed * #8618: html: kbd role produces incorrect HTML when compound-key separators (-, + or ^) are used as keystrokes * #8629: html: A type warning for html_use_opensearch is shown twice +* #8665: html theme: Could not override globaltoc_maxdepth in theme.conf * #8094: texinfo: image files on the different directory with document are not copied