Skip to content

Conversation

@bidoubiwa
Copy link
Contributor

l

@bidoubiwa bidoubiwa added the skip-changelog The PR will not appear in the release changelogs label Mar 21, 2022
@bidoubiwa bidoubiwa requested a review from mdubus March 21, 2022 16:16
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!

@bidoubiwa
Copy link
Contributor Author

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented Mar 21, 2022

@meili-bors meili-bors bot merged commit 1daa680 into main Mar 21, 2022
@meili-bors meili-bors bot deleted the bidoubiwa-patch-1 branch March 21, 2022 16:25
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.

4 participants