Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

@Bibo-Joshi Bibo-Joshi commented May 20, 2024

closes #4240

Gathering small documnetation improvements to merge on the next release

PRs to mention in the commit message:

  • [ ]:

One place less to update during the release :)
@Bibo-Joshi Bibo-Joshi added the ⚙️ documentation affected functionality: documentation label May 20, 2024
@harshil21
Copy link
Member

@Bibo-Joshi
Copy link
Member Author

@harshil21 Will that be fixed automatically via #4266?

@Bibo-Joshi Bibo-Joshi merged commit 78c945d into master Jun 7, 2024
@Bibo-Joshi Bibo-Joshi deleted the doc-fixes branch June 7, 2024 14:13
@github-actions github-actions bot locked and limited conversation to collaborators Jun 15, 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.

Typo in documentation

3 participants