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

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 716991 php5-common
Bug #716991 [php5-common] PDO missing: PHP Fatal error: Class 'PDO' not found
Ignoring request to reassign bug #716991 to the same package
> forcemerge 716893 716991
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 [php5-common] PDO missing: PHP Fatal error: Class 'PDO' not found
Severity set to 'normal' from 'grave'
Marked Bug as done
Marked as fixed in versions php5/5.5.0+dfsg-12.
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'
Merged 716893 716906 716968 716991
> 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
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems