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

reference: fix inconsistent names in #1858 #1892

Merged
merged 3 commits into from
Sep 24, 2019
Merged

Conversation

tangenta
Copy link
Contributor

What is changed, added or deleted?

Fix inconsistent names in #1858.

What is the related PR or file link(s)?

N/A

Which version does your change affect?

dev, v3.0, v2.1

Copy link
Contributor

@yikeke yikeke left a comment

Choose a reason for hiding this comment

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

LGTM

@yikeke yikeke merged commit e5c1349 into pingcap:master Sep 24, 2019
@yikeke yikeke added translation/doing This PR’s assignee is translating this PR. dev labels Sep 24, 2019
@anotherrachel anotherrachel added translation/done This PR has been translated from English into Chinese and updated to pingcap/docs-cn in a PR. and removed translation/doing This PR’s assignee is translating this PR. labels Sep 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
translation/done This PR has been translated from English into Chinese and updated to pingcap/docs-cn in a PR.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants