From: foobar <sniper@php.net>
Date: Thu, 30 Dec 2004 15:22:52 +0000 (+0000)
Subject: - MFH: - Fixed bug #28930 (PHP sources pick wrong header files generated by bison)
X-Git-Tag: php-4.3.11RC1~210
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=31705420ae47d4e315b8ffb53a5f9ff1196d2035;p=php

- MFH: - Fixed bug #28930 (PHP sources pick wrong header files generated by bison)
---

diff --git a/NEWS b/NEWS
index 27bbfb9b99..023b709dcb 100644
--- a/NEWS
+++ b/NEWS
@@ -16,6 +16,8 @@ PHP 4                                                                      NEWS
   string key). (Derick)
 - Fixed bug #31056 (php_std_date() returns invalid formatted date if 
   y2k_compliance is On). (Ilia)
+- Fixed bug #28930 (PHP sources pick wrong header files generated by bison).
+  (eggert at gnu dot org)
 - Fixed bug #7782 (Cannot use PATH_INFO fully with php isapi). (Unknown)
 
 15 Dec 2004, Version 4.3.10