On Wed, Jun 18, 2014 at 11:56:29AM +0200, Ondřej Surý wrote: > could you please report this bug to upstream bugzilla? (And add the link > here?)
Yes, I have done so. Today I also had the time to reproduce the bug successfully using a build of the current upstream snapshot, so it is definitely an upstream problem. The link to the upstream bug report: https://bugs.php.net/bug.php?id=67468 Regards, Andreas Ferber -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
