Skip to content

Conversation

@CaroFG
Copy link
Contributor

@CaroFG CaroFG commented Jul 7, 2021

No description provided.

@CaroFG CaroFG requested a review from bidoubiwa July 7, 2021 15:53
@bidoubiwa bidoubiwa added the skip-changelog The PR will not appear in the release changelogs label Jul 7, 2021
Copy link

@bidoubiwa bidoubiwa left a comment

Choose a reason for hiding this comment

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

LGTM 🔥

@CaroFG
Copy link
Contributor Author

CaroFG commented Jul 7, 2021

bors merge

@bors
Copy link
Contributor

bors bot commented Jul 7, 2021

@bors bors bot merged commit a8edb3c into main Jul 7, 2021
@bors bors bot deleted the CaroFG-patch-1 branch July 7, 2021 16:00
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