Skip to content

Conversation

villfa
Copy link
Contributor

@villfa villfa commented May 10, 2017

This PR targets PHP-7.0.
See also #2512 for master.

@krakjoe
Copy link
Member

krakjoe commented May 29, 2017

Merged 2dee44c

Thanks.

@krakjoe krakjoe closed this May 29, 2017
@villfa villfa deleted the fix_74386_70 branch July 26, 2017 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants