Skip to content

Conversation

Bibo-Joshi
Copy link
Member

@Bibo-Joshi Bibo-Joshi commented Nov 18, 2022

To be merged before the next release

PRs to mention in the commit message

@Bibo-Joshi Bibo-Joshi added the ⚙️ documentation affected functionality: documentation label Nov 18, 2022
@Bibo-Joshi Bibo-Joshi added this to the v20.0a5 milestone Nov 18, 2022
@Bibo-Joshi Bibo-Joshi merged commit 0a614e4 into master Nov 22, 2022
@Bibo-Joshi Bibo-Joshi deleted the doc-fixes branch November 22, 2022 09:39
@github-actions github-actions bot locked and limited conversation to collaborators Nov 29, 2022
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