Re: [PHP-DEV] Re: PHP 7.1.21

2018-08-02 Thread Niklas Keller
> 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

RE: [PHP-DEV] Re: PHP 7.1.21

2018-08-01 Thread Anatol Belski
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

Re: [PHP-DEV] Re: PHP 7.1.21

2018-08-01 Thread Peter Kokot
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

[PHP-DEV] Re: PHP 7.1.21

2018-07-31 Thread Jan Ehrhardt
"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:

[PHP-DEV] Re: PHP 7.1.21

2018-07-31 Thread Christoph M. Becker
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,