Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:107841
Return-Path: <phpdev@ehrhardt.nl>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 5548 invoked from network); 20 Nov 2019 17:34:45 -0000
Received: from unknown (HELO localhost.localdomain) (76.75.200.58)
  by pb1.pair.com with SMTP; 20 Nov 2019 17:34:45 -0000
To: internals@lists.php.net
Date: Wed, 20 Nov 2019 16:27:55 +0100
Message-ID: <0mmate1am53iv3sbifss25aohfbvvscbvt@4ax.com>
References: <0fb7e9de-8747-9e59-d34e-c40b5bdb3f0e@php.net>
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 7.2.24 Released
From: phpdev@ehrhardt.nl (Jan Ehrhardt)

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