Skip to content

Conversation

@bidoubiwa
Copy link
Contributor

No description provided.

@bidoubiwa bidoubiwa added the skip-changelog The PR will not appear in the release changelogs label Feb 3, 2022
alallema
alallema previously approved these changes Feb 3, 2022
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

@bors
Copy link
Contributor

bors bot commented Feb 3, 2022

@bors bors bot merged commit 583259a into main Feb 3, 2022
@bors bors bot deleted the fix_url branch February 3, 2022 15:05
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