Bug#751936: [php-maint] Bug#751936: php5: Segfault in highlight_string()/highlight_file() when pgsql module loaded

2014-06-18 Thread Andreas Ferber
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

Bug#751936: [php-maint] Bug#751936: php5: Segfault in highlight_string()/highlight_file() when pgsql module loaded

2014-06-18 Thread Ondřej Surý
Hi Andreas, could you please report this bug to upstream bugzilla? (And add the link here?) It would be easier if the upstream developers can communicate directly with you. Ondrej On Wed, Jun 18, 2014, at 1:33, Andreas Ferber wrote: > Package: php5, php5-cli, libapache2-mod-php5, php5-pgsql > V