Skip to content

Conversation

@zhenlineo
Copy link
Contributor

Recreate this pr to let PR build pick it up

@zhenlineo
Copy link
Contributor Author

I am merging this in as I cannot see the reason why it is red. I am guessing it is because the PR build is set wrongly. So let's do this experiment by merging it in.

@zhenlineo zhenlineo merged commit a47ee4d into 1.0 Apr 21, 2016
@zhenlineo zhenlineo deleted the 1.0-doc-example branch April 21, 2016 09:53
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.

2 participants