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