> 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
