Skip to content

Conversation

@curquiza
Copy link
Member

No description provided.

@curquiza curquiza added the skip-changelog The PR will not appear in the release changelogs label Jun 24, 2021
Copy link
Member

@tpayet tpayet left a comment

Choose a reason for hiding this comment

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

awesome job

@curquiza
Copy link
Member Author

bors merge

@bors
Copy link
Contributor

bors bot commented Jun 24, 2021

@bors bors bot merged commit d9bc7e5 into main Jun 24, 2021
@bors bors bot deleted the curquiza-patch-1 branch June 24, 2021 17:48
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