Closed mgeier closed 2 years ago
This improves the handling of API doc headers once https://github.com/sphinx-doc/sphinx/pull/10807 is merged.
For older Sphinx versions, this should have no effect.
This improves the handling of API doc headers once https://github.com/sphinx-doc/sphinx/pull/10807 is merged.
For older Sphinx versions, this should have no effect.