Re: Re: PHP 7.1.21
| From: | Peter Kokot | Date: | Thu, 02 Aug 2018 04:56:20 +0000 |
| Subject: | Re: Re: PHP 7.1.21 | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-103021@lists.php.net to get a copy of this message | ||
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