Fix #7418: std domain: duplication warning for glossary terms is case insensitive

This commit is contained in:
Takeshi KOMIYA
2020-04-08 22:46:03 +09:00
parent 4caa7d7c37
commit a5dadeb890
4 changed files with 10 additions and 7 deletions

View File

@@ -7,6 +7,8 @@ Dependencies
Incompatible changes
--------------------
* #7418: std domain: :rst:dir:`term` role becomes case sensitive
Deprecated
----------
@@ -17,6 +19,7 @@ Bugs fixed
----------
* #7428: py domain: a reference to class ``None`` emits a nitpicky warning
* #7418: std domain: duplication warning for glossary terms is case insensitive
Testing
--------