[PHP-DEV] Re: [VOTE] PHP 8.3 Release Managers

On 4/17/23 16:01, Sergey Panteleev wrote: Hi all, The polls have closed, and Derick’s scripts have tallied the votes [1], Our “rookie" PHP 8.3 release managers are: - Jakub Zelenka - Eric Mann Our "veteran” is the PHP 8.2 release manager Pierrick Charron. Jakub and Eric you are in a good

[PHP-DEV] Re: [VOTE] PHP 8.3 Release Managers

Hi all, The polls have closed, and Derick’s scripts have tallied the votes [1], Our “rookie" PHP 8.3 release managers are: - Jakub Zelenka - Eric Mann Our "veteran” is the PHP 8.2 release manager Pierrick Charron. Jakub and Eric you are in a good hands! Further steps are described in the New