Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:107845 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 44154 invoked from network); 20 Nov 2019 21:08:52 -0000 Received: from unknown (HELO localhost.localdomain) (76.75.200.58) by pb1.pair.com with SMTP; 20 Nov 2019 21:08:52 -0000 To: internals@lists.php.net Date: Wed, 20 Nov 2019 20:02:05 +0100 Message-ID: References: <0fb7e9de-8747-9e59-d34e-c40b5bdb3f0e@php.net> <0mmate1am53iv3sbifss25aohfbvvscbvt@4ax.com> X-Newsreader: Forte Agent 3.3/32.846 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Posted-By: 62.251.31.78 Subject: Re: [PHP-DEV] Re: PHP 7.2.24 Released From: phpdev@ehrhardt.nl (Jan Ehrhardt) Sara Golemon in php.internals (Wed, 20 Nov 2019 10:03:24 -0600): >On Wed, Nov 20, 2019 at 9:28 AM Jan Ehrhardt 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