On 14.10.2016 at 04:25, Anatol Belski wrote: > I would explicitly ask Dmitry, Sara, Hui, Stas, Bob, Nikita and > Christoph to check that all the code pushed after Monday 2016-10-10 > 13:11:45 is where it's expected to be. But also everyone else > involved/interested - it would be a big help to double check, also > with UPGRADING, NEWS, etc.
My commits are in all branches where they are supposed to be. Also NEWS and UPGRADING is correct (I had to re-commit a single NEWS entry). -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php