Skip to content

Bump sphinx-substitution-extensions from 2025.11.17 to 2025.12.15#2801

Merged
github-actions[bot] merged 1 commit intomainfrom
dependabot/pip/sphinx-substitution-extensions-2025.12.15
Dec 16, 2025
Merged

Bump sphinx-substitution-extensions from 2025.11.17 to 2025.12.15#2801
github-actions[bot] merged 1 commit intomainfrom
dependabot/pip/sphinx-substitution-extensions-2025.12.15

Commits

Commits on Dec 16, 2025