update NEWS

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