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