Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[ᚬrc/v0.31] chore: upgrade tokio #2013

Merged
merged 1 commit into from
Apr 15, 2020
Merged

[ᚬrc/v0.31] chore: upgrade tokio #2013

merged 1 commit into from
Apr 15, 2020

Conversation

driftluo
Copy link
Collaborator

fix #2007

@driftluo driftluo requested review from a team and xxuejie April 15, 2020 04:37
@nervos-bot nervos-bot bot changed the title chore: upgrade tokio [ᚬrc/v0.31] chore: upgrade tokio Apr 15, 2020
@nervos-bot nervos-bot bot added the hotfix Fixing that must be submit to RC branch. label Apr 15, 2020
@quake
Copy link
Member

quake commented Apr 15, 2020

bors r+

@nervos-bot nervos-bot bot added the s:ready-to-merge Status: Waiting to be merged. label Apr 15, 2020
@bors
Copy link
Contributor

bors bot commented Apr 15, 2020

Build succeeded:

@bors bors bot merged commit 9ebde51 into nervosnetwork:rc/v0.31 Apr 15, 2020
@driftluo driftluo deleted the report-fix branch April 20, 2020 08:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@quake quake quake approved these changes

@doitian doitian doitian approved these changes

@xxuejie xxuejie Awaiting requested review from xxuejie

Assignees
No one assigned
Labels
hotfix Fixing that must be submit to RC branch. s:ready-to-merge Status: Waiting to be merged.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@driftluo @quake @doitian