On Thu, Aug 22, 2013 at 12:37:55AM +0200, Ondřej Surý wrote: > Pleaye report that to upstream.
Quoth http://www.debian.org/Bugs/Reporting: > Don't file bugs upstream > > If you file a bug in Debian, don't send a copy to the upstream > software maintainers yourself, as it is possible that the bug exists > only in Debian. If necessary, the maintainer of the package will > forward the bug upstream. I have no idea if this is something in one of the many Debian patches, and I don't have time at the moment to try installing PHP from source to see if it still occurs. OTOH, someone else has copied this upstream, at https://bugs.php.net/bug.php?id=65510. No response there yet. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
