Ok thanks everyone. Merging into master it is. Thanks Andrew
On Mon, 11 Mar 2019, 12:33 am Sebastian Bergmann, <sebast...@php.net> wrote: > Am 10.03.2019 um 21:12 schrieb Gabriel Caruso: > > As both PHP 7.2 and 7.3 has been out for a while, -1 on this one. > > Same here; no new functionality should be added to already released > versions. > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > >
