Update CHANGES for PR #4112

2025-02-25 18:55:22 -06:00 · 2017-10-05 00:47:34 +09:00
parent 2ba41842bf
commit a7bc29f1bd
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@@ -14,6 +14,7 @@ Features added
 --------------

 * #4107: Make searchtools.js compatible with pre-Sphinx1.5 templates
+* #4112: Don't override the smart_quotes setting if it was already set

 Bugs fixed
 ----------