Sara Golemon in php.internals (Wed, 20 Nov 2019 10:03:24 -0600): >On Wed, Nov 20, 2019 at 9:28 AM Jan Ehrhardt <php...@ehrhardt.nl> wrote: > >> 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. > >Sorry. I got busy with another matter and lost track of this task. The >tags have been pushed and the tarballs are in the distributions repo.
No problem at all. See it as a friendly reminder. Yhanks for all you work. -- Jan -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
