Skip to content

Conversation

@bidoubiwa
Copy link
Contributor

No description provided.

@bidoubiwa bidoubiwa requested a review from curquiza January 19, 2021 10:49
@curquiza curquiza added the skip-changelog The PR will not appear in the release changelogs label Jan 19, 2021
@bidoubiwa
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented Jan 19, 2021

Build succeeded:

@bors bors bot merged commit efe9f81 into master Jan 19, 2021
@bors bors bot deleted the bidoubiwa-patch-1 branch January 19, 2021 10:52
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