Skip to content
This repository has been archived by the owner on Jun 6, 2024. It is now read-only.

[doc fix] tell user notice dev-box version #2087

Merged
merged 1 commit into from
Jan 28, 2019
Merged

[doc fix] tell user notice dev-box version #2087

merged 1 commit into from
Jan 28, 2019

Conversation

YanjieGao
Copy link
Contributor

No description provided.

@YanjieGao YanjieGao mentioned this pull request Jan 28, 2019
Closed
@coveralls
Copy link

Coverage Status

Coverage remained the same at 52.691% when pulling 54cdb81 on yanjga/doc-dev-box-version into 377eb2d on master.

2 similar comments
@coveralls
Copy link

Coverage Status

Coverage remained the same at 52.691% when pulling 54cdb81 on yanjga/doc-dev-box-version into 377eb2d on master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 52.691% when pulling 54cdb81 on yanjga/doc-dev-box-version into 377eb2d on master.

@YanjieGao YanjieGao merged commit 9480bb0 into master Jan 28, 2019
@YanjieGao YanjieGao deleted the yanjga/doc-dev-box-version branch January 28, 2019 03:56
scarlett2018
scarlett2018 reviewed Feb 1, 2019
View reviewed changes
Copy link
Member

@scarlett2018 scarlett2018 left a comment

Choose a reason for hiding this comment

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

approved

@YanjieGao
Copy link
Contributor Author

ok, thanks , has merged

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

@scarlett2018 scarlett2018 scarlett2018 left review comments

@hao1939 hao1939 hao1939 approved these changes

@ydye ydye Awaiting requested review from ydye

@squirrelsc squirrelsc Awaiting requested review from squirrelsc

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@YanjieGao @coveralls @hao1939 @scarlett2018