Skip to content

Conversation

curquiza
Copy link
Member

@curquiza curquiza commented Sep 12, 2023

🚀 Enhancements

@curquiza curquiza requested a review from a team September 12, 2023 11:37
Copy link
Contributor

@alallema alallema left a comment

Choose a reason for hiding this comment

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

LGTM! 🎉

@curquiza
Copy link
Member Author

bors merge

@curquiza curquiza added the skip-changelog The PR will not appear in the release changelogs label Sep 12, 2023
@meili-bors
Copy link
Contributor

meili-bors bot commented Sep 12, 2023

@curquiza curquiza merged commit 7dd3bd2 into main Sep 12, 2023
@curquiza curquiza deleted the update-version-0.24.2 branch September 12, 2023 11:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog The PR will not appear in the release changelogs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants