On Fri, Jan 30, 2015 at 3:04 PM, Xinchen Hui <larue...@php.net> wrote:
> Hey: > > there already are more than 2 people tell me they are trying to > play with PHP7, but turns out they are playing with PHPNG branch(since > we used to call it phpng). > > as it already be merged into master. and there is also no tags against > it. > > maybe we should delete it? > > any objections? > > thanks > > -- > Xinchen Hui > @Laruence > http://www.laruence.com/ > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > > no, please go ahead. we even have tags of PRE_PHPNG_MERGE and POST_PHPNG_MERGE, so there is absolutely no reason to keep it around. -- Ferenc Kovács @Tyr43l - http://tyrael.hu
