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. -- Jan
