Skip to content

Documentation Improvements#4171

Merged
Bibo-Joshi merged 5 commits intomasterfrom
doc-fixes
Apr 12, 2024
Merged

Documentation Improvements#4171
Bibo-Joshi merged 5 commits intomasterfrom
doc-fixes

Conversation

@Bibo-Joshi
Copy link
Member

Gathering smaller documentation improvements to merge before the next release

PRs to mention in the commit message:

@Bibo-Joshi Bibo-Joshi added the ⚙️ documentation affected functionality: documentation label Mar 24, 2024
@Bibo-Joshi Bibo-Joshi merged commit 1538947 into master Apr 12, 2024
@Bibo-Joshi Bibo-Joshi deleted the doc-fixes branch April 12, 2024 10:03
@github-actions github-actions bot locked and limited conversation to collaborators Apr 20, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⚙️ documentation affected functionality: documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments