update NEWS for fixed bug #71132, fixed bug #71197

diff --git a/NEWS b/NEWS
index e387a167ca1febb22081b9d417f3afa1ab0e0b29..fb44db7ba775e81dbab188c6068dbd98f70dbd07 100644 (file)
--- 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