[php-maint] Processed: (no subject)

Debian Bug Tracking System owner at bugs.debian.org
Wed Mar 18 00:24:04 UTC 2009

Processing commands for control at bugs.debian.org:

> severity 520128 important
Bug#520128: php5 segfaulting - unknown cause
Severity set to `important' from `normal'

> merge 513204 520128
Bug#513204: php5-mysql: doesn't crash anymore if I use taskset to launch my php script
Bug#520128: php5 segfaulting - unknown cause
Merged 513204 520128.

End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

More information about the pkg-php-maint mailing list