Hi, don't forget the PHP-7.4 branch, which is *not* master (master is 8.0).
cheers, Derick On Mon, 11 Mar 2019, Andrew Brampton wrote: > 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 > > > > > -- https://derickrethans.nl | https://xdebug.org | https://dram.io Like Xdebug? Consider a donation: https://xdebug.org/donate.php, or become my Patron: https://www.patreon.com/derickr twitter: @derickr and @xdebug -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
