> -----Original Message----- > From: Peter Kokot <[email protected]> > Sent: Thursday, August 2, 2018 8:25 PM > To: [email protected] > Cc: Internals <[email protected]> > 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
