From 7fabfb1a9a07db396f8e6534179ec4f56acc0dcd Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Tue, 2 Jul 2019 09:08:27 +0000
Subject: Update NEWS for PHP 7.2.20

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

diff --git a/NEWS b/NEWS
index 6c94dd52eb..963f1997e4 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-?? ??? ????, PHP 7.2.20
+04 Jul 2019, PHP 7.2.20
 
 - Core:
   . Fixed bug #76980 (Interface gets skipped if autoloader throws an exception).
-- 
cgit v1.2.1