Skip to content

dbtilde doesn't exist in sphinx and was not compiling well#2454

Merged
scarlehoff merged 1 commit into
masterfrom
fix_doc_typo
Apr 14, 2026
Merged

dbtilde doesn't exist in sphinx and was not compiling well#2454
scarlehoff merged 1 commit into
masterfrom
fix_doc_typo

Conversation

@vschutze-alt
Copy link
Copy Markdown
Collaborator

No description provided.

@scarlehoff
Copy link
Copy Markdown
Member

Thanks!
I'm hijacking this PR to regenerate the data before merging.

@scarlehoff scarlehoff merged commit 82884fb into master Apr 14, 2026
15 checks passed
@scarlehoff scarlehoff deleted the fix_doc_typo branch April 14, 2026 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants