From fd1c709727d62c5bb477e4d976881f0830fbfe57 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Tue, 30 Apr 2019 08:30:27 +0000
Subject: Update NEWS for PHP 7.2.18

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

diff --git a/NEWS b/NEWS
index 6cde73ceef..29e454aa51 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-?? ??? ????, PHP 7.2.18
+02 May 2019, PHP 7.2.18
 
 - CLI:
   . Fixed bug #77794 (Incorrect Date header format in built-in server).
-- 
cgit v1.2.1