From f5c361b09a0366d681e8da3429cad1ec77327503 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Tue, 12 May 2020 06:48:58 +0000
Subject: Update NEWS for PHP 7.2.31

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

diff --git a/NEWS b/NEWS
index 0bdbe88016..ce09c864ee 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-?? ??? ????, PHP 7.2.31
+14 May 2020, PHP 7.2.31
 
 - Core:
   . Fixed bug #78875 (Long filenames cause OOM and temp files are not cleaned). 
-- 
cgit v1.2.1