On 25.06.2019 at 07:41, Jan Ehrhardt wrote: > Remi Collet in php.qa (Thu, 20 Jun 2019 17:06:48 +0200): > >> PHP 7.2.20 RC3 was just released and can be downloaded from: >> >> https://downloads.php.net/~remi/ >> >> Or using the git tag: php-7.2.20RC3 > > I am missing the release at https://github.com/php/php-src/releases > Is there a special reason for that? The 7.3.7RC3 is OK.
Apparently, the php-7.2.20RC3 tag is missing: <http://git.php.net/?p=php-src.git;a=tags>. Thanks, Christoph
