[php-maint] Processed: fixed 620423 in php5/5.4.4-7, closing 620423

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> fixed 620423 php5/5.4.4-7
Bug #620423 {Done: Ondřej Surý <ondrej at sury.org>} [libapache2-mod-php5] libapache2-mod-php5: apache2-mpm-prefork + php5 segmentation fault in _zend_hash_add_or_update
Marked as fixed in versions php5/5.4.4-7.
> close 620423
Bug #620423 {Done: Ondřej Surý <ondrej at sury.org>} [libapache2-mod-php5] libapache2-mod-php5: apache2-mpm-prefork + php5 segmentation fault in _zend_hash_add_or_update
Bug 620423 is already marked as done; not doing anything.
> thanks
Stopping processing here.

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