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

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 716968 php5-common
Bug #716968 [php5-pgsql] php5-pgsql: PHP Startup: Unable to load dynamic library '/usr/lib/php5/20121212/pdo_pgsql.so'
Bug reassigned from package 'php5-pgsql' to 'php5-common'.
No longer marked as found in versions php5/5.5.0+dfsg-11.
Ignoring request to alter fixed versions of bug #716968 to the same values previously set
> forcemerge 716893 716968
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 [php5-common] php5-pgsql: PHP Startup: Unable to load dynamic library '/usr/lib/php5/20121212/pdo_pgsql.so'
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 #716906 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] php5-cli: maxlifetime script crashes calling /usr/bin/php5
Merged 716893 716906 716968
> 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
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems