Skip to content

Conversation

lucacome
Copy link
Contributor

Proposed changes

Release 1.4.1

@lucacome lucacome requested a review from a team as a code owner May 17, 2023 02:43
@lucacome lucacome self-assigned this May 17, 2023
@github-actions github-actions bot added the documentation Pull requests/issues for documentation label May 17, 2023
@lucacome lucacome force-pushed the docs/release-1.4.1 branch from 4db5f37 to 71519e6 Compare May 17, 2023 18:31
@lucacome lucacome merged commit 458d2ad into main May 17, 2023
@lucacome lucacome deleted the docs/release-1.4.1 branch May 17, 2023 18:39
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.

3 participants