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.

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

build(ci): update thirdparty #570

Closed
wants to merge 2 commits into from
Closed

Conversation

hycdong
Copy link
Contributor

@hycdong hycdong commented Jul 30, 2020

What problem does this PR solve?

rdsn pull request 438 update thirdparty, this pull request also update it.

@hycdong hycdong marked this pull request as draft July 30, 2020 04:55
@hycdong hycdong closed this Jul 30, 2020
@hycdong hycdong deleted the update_thirdparty branch September 30, 2020 03:15
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.

1 participant