>> How long should I wait to see if there are objections before creating a pull 
>> request?
>AFAIK you can create PR any time.

I created a PR implementing spl_object_id(object $o) : int several days ago,
at https://github.com/php/php-src/pull/2611
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to