Skip to content

Conversation

ezio-melotti
Copy link
Collaborator

Follow-up of:

This PR updates the release instructions.

@ezio-melotti ezio-melotti added the enhancement New feature or request label Oct 13, 2023
@ezio-melotti ezio-melotti self-assigned this Oct 13, 2023
ezio-melotti and others added 2 commits October 13, 2023 17:12
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Copy link
Collaborator

@AlexWaygood AlexWaygood left a comment

Choose a reason for hiding this comment

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

LGTM

@ezio-melotti ezio-melotti merged commit 6b758fd into main Oct 13, 2023
@ezio-melotti ezio-melotti deleted the update-release-instructions branch October 13, 2023 15:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants