Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upFix link #429
Conversation
pushed a commit
that referenced
this pull request
Nov 19, 2015
evancz
merged commit 2c97e29
into
master
Nov 19, 2015
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
evancz
Nov 19, 2015
Member
Thanks!
And I think I'm going to expedite Pete's reactor work, so we'll be getting a new version of reactor and core relatively soon I hope.
|
Thanks! And I think I'm going to expedite Pete's reactor work, so we'll be getting a new version of reactor and core relatively soon I hope. |
evancz
deleted the
jvoigtlaender-patch-1
branch
Nov 19, 2015
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
jvoigtlaender commentedOct 27, 2015
No description provided.