[PHP-DEV] Release manager ?

[Frederic Hardy]

Hello !

I would like to know if the name of the two release manager are now known ?

Best regards,
Fred


--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php