[php-maint] Processed: (no subject)

[Debian Bug Tracking System]

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)