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 Oct 20, 2021
@bidoubiwa bidoubiwa requested a review from curquiza October 20, 2021 13:03
@curquiza curquiza changed the title lUpdate version for the next release (v0.5.8) Update version for the next release (v0.5.8) Oct 20, 2021
Copy link
Member

@curquiza curquiza left a comment

Choose a reason for hiding this comment

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

I accept because I suppose this is an anticipation of the merge of #567

@bidoubiwa
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented Oct 20, 2021

Build succeeded:

@bors bors bot merged commit 3f4bd1c into main Oct 20, 2021
@bors bors bot deleted the bidoubiwa-patch-1 branch October 20, 2021 13:29
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