> Sent: Thursday, August 2, 2018 6:56 AM
> > To: php...@ehrhardt.nl
> > Cc: Internals
> > 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 merg
Hi,
> -Original Message-
> From: Peter Kokot
> Sent: Thursday, August 2, 2018 6:56 AM
> To: php...@ehrhardt.nl
> Cc: Internals
> Subject: Re: [PHP-DEV] Re: PHP 7.1.21
>
> It seems to be resolved now and versions and tags done properly.
>
> Should in t
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 wrote:
> "Christoph M. Becker" in php.internals (Tue, 31 Jul 2018 16:59:15
> +0200):
> >On 31.07.2018 at
"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:
ht
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: