Update NEWS for PHP 7.2.12

diff --git a/NEWS b/NEWS
index 93a16b211e352e44093af37acb3e282a60b2e079..2eba8257c8ddf653d05a53ac611afe2ead796cc8 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-?? ??? ????, PHP 7.2.12
+08 Nov 2018, PHP 7.2.12
 
 - Core:
   . Fixed bug #76846 (Segfault in shutdown function after memory limit error).