Skip to content

Fix for readthedocs#193

Merged
JeanLucPons merged 1 commit intomainfrom
fix-readthedocs
Feb 12, 2026
Merged

Fix for readthedocs#193
JeanLucPons merged 1 commit intomainfrom
fix-readthedocs

Conversation

@JeanLucPons
Copy link
Contributor

Fix for readthedocs

@JeanLucPons JeanLucPons merged commit 8a44fbb into main Feb 12, 2026
3 checks passed
@gubaidulinvadim gubaidulinvadim deleted the fix-readthedocs branch February 12, 2026 14:42
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.

2 participants