Skip to content

Conversation

brunoocasali
Copy link
Member

@brunoocasali brunoocasali added the skip-changelog The PR will not appear in the release changelogs label Feb 8, 2022
@brunoocasali brunoocasali requested a review from curquiza February 8, 2022 19:32
@brunoocasali
Copy link
Member Author

bors merge

@bors
Copy link
Contributor

bors bot commented Feb 9, 2022

@bors bors bot merged commit dce22c5 into main Feb 9, 2022
@bors bors bot deleted the brunoocasali-patch-1 branch February 9, 2022 12:13
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