Skip to content

Conversation

lucacome
Copy link
Contributor

Proposed changes

Docs changes for the release

@lucacome lucacome requested a review from a team as a code owner September 19, 2023 18:38
@lucacome lucacome self-assigned this Sep 19, 2023
@github-actions github-actions bot added the documentation Pull requests/issues for documentation label Sep 19, 2023
@lucacome lucacome merged commit cdd9d1b into main Sep 19, 2023
@lucacome lucacome deleted the docs/release-1.0.0 branch September 19, 2023 21:37
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