Skip to content

Conversation

@yebai
Copy link
Member

@yebai yebai commented May 9, 2017

No description provided.

@yebai yebai mentioned this pull request May 9, 2017
@xukai92
Copy link
Member

xukai92 commented May 9, 2017

Can we merge this one?

@yebai
Copy link
Member Author

yebai commented May 9, 2017

Yes It's ready to merge.

@yebai yebai merged commit 9bd5cd4 into master May 9, 2017
@yebai yebai deleted the fix-gibbs branch May 26, 2017 23:29
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.

3 participants