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

Minor bug fixes for rust/project-2 #257

Merged
merged 2 commits into from Aug 21, 2019
Merged

Minor bug fixes for rust/project-2 #257

merged 2 commits into from Aug 21, 2019

Conversation

tijiang13
Copy link
Contributor

No description provided.

@CLAassistant
Copy link

CLAassistant commented Jul 20, 2019 •
edited

CLA assistant check
All committers have signed the CLA.

@brson brson merged commit 69e62d7 into pingcap:master Aug 21, 2019
@brson
Copy link
Contributor

brson commented Aug 21, 2019

Thanks @Response777 . I'll port these to project 3+ too.

@brson
Copy link
Contributor

brson commented Aug 21, 2019

Ah it seems at seems it's already fixed in later projects.

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

@brson brson brson approved these changes

Assignees
No one assigned
Labels
component/rust
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@tijiang13 @CLAassistant @brson @alivxxx