Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

[doc] 0.12.0 has been released #1296

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
4 participants

No description provided.

Contributor

harding commented May 15, 2016

ACK. Thanks!

Contributor

Mirobit commented Dec 8, 2016 edited

This has been resolved in #1299

@wbnns wbnns self-assigned this Dec 9, 2016

@wbnns wbnns closed this Dec 16, 2016

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