Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

Gathering documentation improvements to be merged on the next release

@Bibo-Joshi Bibo-Joshi added the ⚙️ documentation affected functionality: documentation label Oct 3, 2023
Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey! Looks like you edited README.rst or README_RAW.rst. I'm just a friendly reminder to apply relevant changes to both of those files :)

blast80lst

This comment was marked as spam.

Follow up to commit 8cb177c or PR #3912
@Bibo-Joshi
Copy link
Member Author

Forgot to merge before the release. No big loss. Merging anyway for completeness

@Bibo-Joshi Bibo-Joshi merged commit f93f827 into master Nov 27, 2023
@Bibo-Joshi Bibo-Joshi deleted the doc-fixes branch November 27, 2023 18:11
@github-actions github-actions bot locked and limited conversation to collaborators Dec 5, 2023
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.

4 participants