update NEWS

weltling · weltling · commit 7e5ea3c30540 · 2016-05-16T19:30:38.000+02:00
diff --git a/NEWS b/NEWS
@@ -23,6 +23,8 @@ PHP                                                                        NEWS
 - Standard:
   . Fixed bug #72193 (dns_get_record returns array containing elements of
     type 'unknown'). (Laruence)
+  . Fixed bug #72017 (range() with float step produces unexpected result).
+    (Thomas Punt)
 
 - XML:
   . Fixed #72206 (xml_parser_create/xml_parser_free leaks mem). (Joe)
