IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #7501 from tk0miya/7418_term_case_insensitive_match

Browse Source 
Fix #7418: std domain: term role role could not match case-insensitively
This commit is contained in:
Takeshi KOMIYA
2020-04-19 14:39:35 +09:00
committed by GitHub
parent acc4a9b3e8 4577f6856c
commit 61f00bf675
3 changed files with 37 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGES
View File

@@ -20,6 +20,7 @@ Bugs fixed
----------
* #7461: py domain: fails with IndexError for empty tuple in type annotation
* #7418: std domain: :rst:role:`term` role could not match case-insensitively
* #7461: autodoc: empty tuple in type annotation is not shown correctly
* C++, fix spacing issue in east-const declarations.
* #7414: LaTeX: Xindy language options were incorrect