Hi,

> -----Original Message-----
> From: Peter Kokot <peterko...@gmail.com>
> Sent: Thursday, August 2, 2018 6:56 AM
> To: php...@ehrhardt.nl
> Cc: Internals <internals@lists.php.net>
> 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 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 

http://git.php.net/?p=php-src.git;a=blob;f=README.MAILINGLIST_RULES;h=8fafbd717dfac6564a144f1b361be655a14694fb;hb=HEAD#l67

Regards

Anatol

Reply via email to