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

Fix #7619: Duplicated node IDs are generated if node has multiple IDs

Browse Source
This commit is contained in:
Takeshi KOMIYA
2020-05-05 22:12:52 +09:00
parent 2feb0b43b6
commit fb7b0ee571
4 changed files with 32 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGES
View File

@@ -37,6 +37,7 @@ Bugs fixed
from the previous abbr role
* C and C++, removed ``noindex`` directive option as it did
nothing.
* #7619: Duplicated node IDs are generated if node has multiple IDs
Testing
--------