Update CHANGES for PR #8017

sphinx-doc · Jul 29, 2020 · 376d4fe · 376d4fe
1 parent b8ee3ac
commit 376d4fe
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGES b/CHANGES
@@ -77,6 +77,7 @@ Bugs fixed
   nothing.
 * #7619: Duplicated node IDs are generated if node has multiple IDs
 * #2050: Symbols sections are appeared twice in the index page
+* #8017: Fix circular import in sphinx.addnodes
 
 Testing
 --------