Update NEWS

diff --git a/NEWS b/NEWS
index bc9945ff64e36d33f8f13b802fb46c1642087200..74b4238b0976f30a9acf1c4f591d9ac26a115591 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -18,6 +18,9 @@ PHP                                                                        NEWS
   . Fixed bug #73392 (A use-after-free in zend allocator management). 
     (Laruence)
 
+- SPL:
+  . Fixed bug #73423 (Reproducible crash with GDB backtrace). (Laruence)
+
 27 Oct 2016, PHP 7.1.0RC5
 
 - Core: