[php-maint] Processed: reassign 716997 to php5-common, forcibly merging 716893 716997

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 716997 php5-common
Bug #716997 [php5] php5: undefined symbol: php_pdo_unregister_driver in Unknown on line 0
Bug reassigned from package 'php5' to 'php5-common'.
No longer marked as found in versions php5/5.5.0+dfsg-11.
Ignoring request to alter fixed versions of bug #716997 to the same values previously set
> forcemerge 716893 716997
Bug #716893 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] php5-common: PDO and opcache links not created during installation for CLI
Bug #716906 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] php5-cli: maxlifetime script crashes calling /usr/bin/php5
Bug #716968 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] php5-pgsql: PHP Startup: Unable to load dynamic library '/usr/lib/php5/20121212/pdo_pgsql.so'
Bug #716991 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] PDO missing: PHP Fatal error: Class 'PDO' not found
Bug #716997 [php5-common] php5: undefined symbol: php_pdo_unregister_driver in Unknown on line 0
Marked Bug as done
Marked as fixed in versions php5/5.5.0+dfsg-12.
Marked as found in versions php5/5.5.0+dfsg-11.
Bug #716968 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] php5-pgsql: PHP Startup: Unable to load dynamic library '/usr/lib/php5/20121212/pdo_pgsql.so'
Added tag(s) upstream.
Added tag(s) upstream.
Added tag(s) upstream.
Added tag(s) upstream.
Bug #716906 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] php5-cli: maxlifetime script crashes calling /usr/bin/php5
Bug #716991 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] PDO missing: PHP Fatal error: Class 'PDO' not found
Merged 716893 716906 716968 716991 716997
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
716893: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=716893
716906: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=716906
716968: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=716968
716991: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=716991
716997: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=716997
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems