From 391b73b48431aa016e396dc9ad9742e9b1f71cbf Mon Sep 17 00:00:00 2001
From: Anatol Belski <ab@php.net>
Date: Tue, 12 Jan 2016 08:34:35 +0100
Subject: [PATCH] update NEWS for fixed bug #71132, fixed bug #71197

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

diff --git a/NEWS b/NEWS
index e387a167ca..fb44db7ba7 100644
--- a/NEWS
+++ b/NEWS
@@ -47,6 +47,7 @@ PHP                                                                        NEWS
   . Fixed bug #71188 (str_replace converts integers in original $search array
     to strings). (Laruence)
   . Fixed bug #70720 (strip_tags improper php code parsing). (Julien)
+  . Fixed bug #71132, #71197 (range() segfaults). (Thomas Punt)
 
 07 Jan 2016 PHP 7.0.2
 
-- 
2.40.0