Hi Anatol,

On Fri, Oct 14, 2016 at 8:11 AM, Anatol Belski <anatol....@belski.net> wrote:
> Yeah, we'll be checking to restore the missing 7.1 commits. Currently merges 
> 7.0 to 7.1, or 7.1 to master, might have issues. I'd ask to please retain 
> from pushing there, until the branch is restored. Hopefully this will happen 
> at some point tomorrow.

I already pushed UPGRADING. This should be harmless.
I'll retain other changes, if any.


Yasuo Ohgaki

PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to