On Wed, Nov 20, 2019, 11:04 Sara Golemon <poll...@php.net> wrote: > 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 >
A hearty "Thank You!" to our dedicated RM team. :) >
