NEWS

diff --git a/NEWS b/NEWS
index 3a2289546acdbd5d9340c44ee2b4ffd04a1698c1..595dd82bcb8d1b84454df9d106140411a378c864 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,10 @@ PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 ?? ??? 2016, PHP 5.6.18
 
+- Core:
+
+  . Fixed bug #71089 (No check to duplicate zend_extension). (Remi)
+
 17 Dec 2015, PHP 5.6.17
 
 - Core: