>> 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