mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Update CHANGES for PR #7822
This commit is contained in:
parent
877e43d108
commit
e2d5f01a18