Skip to content

Conversation

Bibo-Joshi
Copy link
Member

Gathering smaller documentation improvements to merge before the next release

@Bibo-Joshi Bibo-Joshi added the ⚙️ documentation affected functionality: documentation label Jul 26, 2025
@Bibo-Joshi Bibo-Joshi merged commit 539cc13 into master Sep 13, 2025
31 of 32 checks passed
@Bibo-Joshi Bibo-Joshi deleted the doc-fixes branch September 13, 2025 14:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
⚙️ documentation affected functionality: documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants