[8.x] [intersphinx] support for arbitrary title names#11932
Closed
picnixz wants to merge 9 commits intosphinx-doc:masterfrom picnixz:fix/11711-intersphinx-decimals-indices
+166-3
Commits
Commits on Feb 3, 2024
- committed
- committed
- authored
- committed
- committed
