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

Change a word #2375

Merged
merged 1 commit into from
Mar 18, 2019
Merged

Change a word #2375

merged 1 commit into from
Mar 18, 2019

Conversation

wu-sheng
Copy link
Member

No description provided.

@wu-sheng wu-sheng added the documentation Provide documents related issue or pull request only. label Mar 18, 2019
@wu-sheng wu-sheng added this to the 6.1.0 milestone Mar 18, 2019
@wu-sheng wu-sheng requested a review from ascrutae March 18, 2019 13:14
@coveralls
Copy link

Coverage Status

Coverage remained the same at 14.153% when pulling 93041b2 on wu-sheng-patch-1 into 30e61cb on master.

@wu-sheng wu-sheng merged commit 69fbf7b into master Mar 18, 2019
@wu-sheng wu-sheng deleted the wu-sheng-patch-1 branch March 18, 2019 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JaredTan95 JaredTan95 JaredTan95 approved these changes

@ascrutae ascrutae Awaiting requested review from ascrutae

Assignees
No one assigned
Labels
documentation Provide documents related issue or pull request only.
Projects
None yet
Milestone
6.1.0
Development

Successfully merging this pull request may close these issues.
3 participants
@wu-sheng @coveralls @JaredTan95