Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #9937 from nextcloud/backport/9935/stable25
[stable25] fix: explictly add sphinx_rtd_theme to extensions to fix search
- Loading branch information