> -----Original Message-----
> From: Peter Kokot <peterko...@gmail.com>
> Sent: Thursday, August 2, 2018 8:25 PM
> To: krak...@php.net
> Cc: Internals <internals@lists.php.net>
> Subject: Re: [PHP-DEV] PHP 7.1.21RC1 is available for testing
>  
> Hello, thank you for the release, there is also a PHP-7.21 tag which might be 
> an
> issue when the final is released:
> https://github.com/php/php-src/releases/tag/php-7.1.21
> 
> and probably the merge needs to be done from PHP-7.1 branch up
> (PHP-7.1 is currently one commit ahead).
> 
Indeed, the dev branch was not merged up. Just realized while merging another 
patch and having conflicts.

Regards

Anatol

Reply via email to