Skip to content

Fix doc build for sphinx v7 - #1817

Merged
rytilahti merged 1 commit into
masterfrom
janitor/fix_doc_build_rtd
Aug 28, 2023
Merged

Fix doc build for sphinx v7#1817
rytilahti merged 1 commit into
masterfrom
janitor/fix_doc_build_rtd

Conversation

@rytilahti

@rytilahti rytilahti commented Aug 28, 2023

Copy link
Copy Markdown
Owner

@rytilahti
rytilahti merged commit f7ef60f into master Aug 28, 2023
@rytilahti
rytilahti deleted the janitor/fix_doc_build_rtd branch August 28, 2023 16:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant