Skip to content

Conversation

@nikic
Copy link
Member

@nikic nikic commented Sep 2, 2019

In line with php.ini-development.

@nikic
Copy link
Member Author

nikic commented Sep 6, 2019

Merged as 790ed7d.

@nikic nikic closed this Sep 6, 2019
@carusogabriel carusogabriel added this to the PHP 8.0 milestone May 29, 2020
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