Re: [PHP-DEV] PHP 7.2 Release Managers

[Patrick ALLAERT]

Le mar. 11 avr. 2017 à 14:00, Patrick ALLAERT <patrickalla...@php.net> a
écrit :

> Hi Joe,
>
> I propose to volunteer for next release since I would myself vote +1 for
> Sara & Remi.
>

and for more clarity, I meant:
define("NEXT", "PHP 7.3");