From d403a91c6fb1d91db6e363502ad96023b08f92f8 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Fri, 11 Dec 2015 13:22:13 +0100
Subject: [PATCH] NEWS

---
 NEWS | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/NEWS b/NEWS
index 3a2289546ac..595dd82bcb8 100644
--- 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: