[php-maint] Processed: reassign 716682 to src:php5, reassign 716659 to src:php5, forcibly merging 716682 716659

Debian Bug Tracking System owner at bugs.debian.org
Thu Jul 11 12:51:12 UTC 2013


Processing commands for control at bugs.debian.org:

> reassign 716682 src:php5
Bug #716682 [php5-pgsql] /usr/lib/php5/20121212/pdo_pgsql.so: undefined symbol: pdo_parse_params
Bug reassigned from package 'php5-pgsql' to 'src:php5'.
No longer marked as found in versions php5/5.5.0+dfsg-9.
Ignoring request to alter fixed versions of bug #716682 to the same values previously set
> reassign 716659 src:php5
Bug #716659 {Done: Ondřej Surý <ondrej at debian.org>} [php5-mysql] php5-mysql: upgrade to 5.5.0+dsfg-9 breaks mediawiki
Bug reassigned from package 'php5-mysql' to 'src:php5'.
No longer marked as found in versions php5/5.5.0+dfsg-9.
No longer marked as fixed in versions php5/5.5.0+dfsg-10.
> forcemerge 716682 716659
Bug #716682 [src:php5] /usr/lib/php5/20121212/pdo_pgsql.so: undefined symbol: pdo_parse_params
Bug #716659 {Done: Ondřej Surý <ondrej at debian.org>} [src:php5] php5-mysql: upgrade to 5.5.0+dsfg-9 breaks mediawiki
Severity set to 'critical' from 'normal'
Bug reopened
Ignoring request to alter fixed versions of bug #716659 to the same values previously set
Merged 716659 716682
> thanks
Stopping processing here.

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



More information about the pkg-php-maint mailing list