Skip to content

Conversation

lucacome
Copy link
Contributor

Proposed changes

Docs changes fro 1.5.2

@lucacome lucacome self-assigned this Aug 29, 2023
@lucacome lucacome requested a review from a team as a code owner August 29, 2023 17:14
@github-actions github-actions bot added the documentation Pull requests/issues for documentation label Aug 29, 2023
@lucacome lucacome merged commit dcb439a into main Aug 30, 2023
@lucacome lucacome deleted the docs/release-1.5.2 branch August 30, 2023 07:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Pull requests/issues for documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants