From b14bfacb927067f041f83ba5de785a19cd7dbdf3 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Tue, 24 Apr 2018 14:55:20 +0000
Subject: Update NEWS for PHP 7.2.5

---
 NEWS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/NEWS b/NEWS
index bd5e904129..3d80c32d25 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-?? ??? ????, PHP 7.2.5
+26 Apr 2018, PHP 7.2.5
 
 - Core:
   . Fixed bug #75722 (Convert valgrind detection to configure option).
-- 
cgit v1.2.1