Skip to content

Conversation

@jemc
Copy link
Member

@jemc jemc commented Jul 14, 2017

@jemc jemc added the do not merge This PR should not be merged at this time label Jul 14, 2017
@jemc
Copy link
Member Author

jemc commented Jul 14, 2017

This is waiting for the merge of ponylang/ponyc#2039, and the 0.16.0 release thereafter.

@jemc jemc removed the do not merge This PR should not be merged at this time label Jul 28, 2017
@jemc jemc merged commit c7419b6 into master Jul 28, 2017
@jemc jemc deleted the refactor/explicit-partial-calls branch July 28, 2017 18:56
mfelsche pushed a commit to mfelsche/pony-tutorial that referenced this pull request Sep 22, 2017
mfelsche pushed a commit to mfelsche/pony-tutorial that referenced this pull request Mar 18, 2018
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