It seems to be resolved now and versions and tags done properly. Should in this case there be also a merge done from PHP-7.1 to all later branches?
On Wed, 1 Aug 2018 at 02:33, Jan Ehrhardt <php...@ehrhardt.nl> wrote: > "Christoph M. Becker" in php.internals (Tue, 31 Jul 2018 16:59:15 > +0200): > >On 31.07.2018 at 16:50, Jan Ehrhardt wrote: > > > >> On github PHP 7.1.21 appeared right now: > >> https://github.com/php/php-src/releases/tag/php-7.1.21 > >> Shouldn't that have been PHP 7.1.21RC1? > > > >Joe? > > It was not Joe's day: > > https://github.com/php/php-src/commit/1891246c6637119e7ff5ab0d9826cf8f19223dac#r29914014 > -- > Jan > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > > -- Peter Kokot
