Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Force recent sphinx-rtd-theme version
Otherwise, Sphinx 8 is used and we end up with sphinx-rtd-theme 0.5, which did not have any Sphinx requirement.
- Loading branch information