From: Julien Pauli <jpauli@php.net>
Date: Fri, 8 Jul 2016 13:06:21 +0000 (+0200)
Subject: Updated NEWS
X-Git-Tag: php-7.1.0beta1~147^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a8df121e18807d90fea2c0c4cdd1e17eed0f445a;p=php

Updated NEWS
---

diff --git a/NEWS b/NEWS
index 3f6b96911a..95c2217447 100644
--- a/NEWS
+++ b/NEWS
@@ -5,6 +5,7 @@ PHP                                                                        NEWS
 - Core:
   . Fixed bug #72496 (Cannot declare public method with signature incompatible
     with parent private method). (Pedro Magalhães)
+  . Fixed bug #72024 (microtime() leaks memory). (maroszek at gmx dot net)
 
 - SPL:
   . Fixed bug #55701 (GlobIterator throws LogicException). (Valentin VĂLCIU)