On Sun, Jul 8, 2018 at 5:41 PM, Christoph M. Becker <cmbecke...@gmx.de> wrote: > Sorry, that there has not been any decision yet. However, Sara > suggested that this decision is not solely up to the RMs[1], and I > wouldn't know how to decide it then[2], since there has been at least > one objection[3]. > To clarify, it's ultimately an RM decision, but it should be guided by the larger internals@ group.
The way I read Zeev's objection is that it's primarily against TP, and not against pushing out the FF per se. I would recommend (in a non-RM, unofficial capacity) pushing out the FF (not necessarily GA, but we can make that decision later). If these last minute things pass, they go in. If they fail, then all we've done is burned a month. -Sara -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
