Skip to content

Conversation

@curquiza curquiza added the skip-changelog The PR will not appear in the release changelogs label Jan 12, 2022
@curquiza curquiza requested a review from brunoocasali January 12, 2022 13:47
Copy link
Member

@brunoocasali brunoocasali left a comment

Choose a reason for hiding this comment

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

LGTM! 🎉

@brunoocasali
Copy link
Member

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented Jan 12, 2022

@meili-bors meili-bors bot merged commit 5f282ef into main Jan 12, 2022
@meili-bors meili-bors bot deleted the curquiza-patch-1 branch January 12, 2022 13:51
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.

3 participants