Welcome! Log In Create A New Profile

Advanced

[PHP-DEV] PHP 7.1.21

Posted by Jan Ehrhardt 
Jan Ehrhardt
[PHP-DEV] PHP 7.1.21
July 31, 2018 05:00PM
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

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
Christoph M. Becker
[PHP-DEV] Re: PHP 7.1.21
July 31, 2018 05:10PM
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


--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
Jan Ehrhardt
[PHP-DEV] Re: PHP 7.1.21
August 01, 2018 02:40AM
"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
Re: [PHP-DEV] Re: PHP 7.1.21
August 02, 2018 07:00AM
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 <[email protected]> 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
Anatol Belski
RE: [PHP-DEV] Re: PHP 7.1.21
August 02, 2018 07:30AM
Hi,

> -----Original Message-----
> From: Peter Kokot <[email protected]>
> Sent: Thursday, August 2, 2018 6:56 AM
> To: phpdev@ehrhardt.nl
> Cc: Internals <[email protected]>
> 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
Re: [PHP-DEV] Re: PHP 7.1.21
August 02, 2018 09:30PM
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 <[email protected]>:
>
> Hi,
>
> > -----Original Message-----
> > From: Peter Kokot <[email protected]>
> > Sent: Thursday, August 2, 2018 6:56 AM
> > To: phpdev@ehrhardt.nl
> > Cc: Internals <[email protected]>
> > 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

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
Sorry, only registered users may post in this forum.

Click here to login