Skip to content

Conversation

@dours
Copy link
Collaborator

@dours dours commented Oct 12, 2022

No description provided.

@dours dours merged commit 14ca009 into master Oct 12, 2022
@dours
Copy link
Collaborator Author

dours commented Oct 12, 2022

@rultor, release, tag is 0.31.0

@rultor
Copy link
Contributor

rultor commented Oct 12, 2022

@rultor, release, tag is 0.31.0

@dours OK, I will release it now. Please check the progress here

@rultor
Copy link
Contributor

rultor commented Oct 12, 2022

@rultor, release, tag is 0.31.0

@dours Done! FYI, the full log is here (took me 8min)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants