mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2026-10-12 08:25:01 -05:00
Update CHANGES for PR #4231
This commit is contained in:
1 parent
4e11b78f01
commit
c3113d2e17
1 file changed
+1