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
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
"Christoph M. Becker" in php.internals (Tue, 31 Jul 2018 16:59:15
+0200):
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
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?
"Christoph M. Becker" in php.internals (Tue, 31 Jul 2018 16:59:15
+0200):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
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.21It 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
Regards
Anatol
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:
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.21It 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
Regards
Anatol