On Mon, 5 Sep 2016, Davey Shafik wrote: > Nobody is saying to do anything except unbundle the command line tools.
And I would say that we should see whether the new tools work perfectly fine first before even considering that. cheers, Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
