Remi Collet in php.internals (Thu, 24 Oct 2019 12:58:01 +0200): >The PHP development team announces the immediate availability of PHP >7.2.24. This is a security release which also contains several minor bug >fixes.
Is 7.2.25 stuck somewhere? 7.3.12 was tagged yesterday, but nothing for 7.2.25 yet. -- Jan -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
