From 6c07bc80046ae0fac32f41e6f3052f52a86ec057 Mon Sep 17 00:00:00 2001
From: Felipe Pena <felipe@php.net>
Date: Fri, 24 Jun 2011 00:53:52 +0000
Subject: [PATCH] - BFN

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

diff --git a/NEWS b/NEWS
index 2e7003e595..4cc56c1f39 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,8 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 ?? ??? 2011, PHP 5.3.7
+- Core:
+  . Fixed crash in error_log(). (Felipe) Reported by Mateusz Kocielski.
 
 - DateTime extension:
   . Fixed bug where the DateTime object got changed while using date_diff().
-- 
2.50.1