Skip to content

Conversation

klaussilveira
Copy link
Contributor

I'm planning to merge this PR on December 3rd, the latest official date for the PHP 7 GA release.

klaussilveira added a commit that referenced this pull request Dec 3, 2015
[WIP] Migrated to PHP 7.
@klaussilveira klaussilveira merged commit e7ee1a1 into master Dec 3, 2015
@klaussilveira klaussilveira deleted the php7 branch December 3, 2015 20:55
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.

1 participant