Everything
php
Learn Community Releases The PHP Project
Home » Project » Newsgroups » php.internals » PHP 7.1.21 »

PHP 7.1.21

php.internals

Jan Ehrhardt

8 years ago
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?
-- Jan

Christoph Becker

8 years ago
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?
-- Christoph M. Becker

Jan Ehrhardt

8 years ago
"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

Peter Kokot

8 years ago
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 <phpdev@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

Anatoliy Belsky

8 years ago
Hi,
> -----Original Message----- > From: Peter Kokot <peterkokot@gmail.com> > Sent: Thursday, August 2, 2018 6:56 AM > To: phpdev@ehrhardt.nl > Cc: Internals <internals@lists.php.net> > Subject: Re: [PHP-DEV] Re: PHP 7.1.21 > > 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? >
Nope, it is only relevant for the release branch. But the wrong tag should be deleted, actually. Btw. please check also http://git.php.net/?p=php-src.git;a=blob;f=README.MAILINGLIST_RULES;h=8fafbd717dfac6564a144f1b361be655a14694fb;hb=HEAD#l67 Regards Anatol

Niklas Keller

8 years ago
Please announce the re-tag in a separate thread. Everyone that pulled while the tag existed will have to delete it manually locally. Regards, Niklas Am Do., 2. Aug. 2018 um 07:24 Uhr schrieb Anatol Belski <ab@php.net>: