From 7e5ea3c305409fdda8f1f6e35a32a65a0394b72b Mon Sep 17 00:00:00 2001
From: Anatol Belski <ab@php.net>
Date: Mon, 16 May 2016 19:30:38 +0200
Subject: [PATCH] update NEWS

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

diff --git a/NEWS b/NEWS
index aada8e7e6a..c75fe55e3f 100644
--- 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)
-- 
2.50.1