[php-maint] Processed: closing 702221

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> close 702221 5.3.3-7+squeeze15
Bug #702221 {Done: Ondřej Surý <ondrej at debian.org>} [php5] php5: CVE-2013-1635 CVE-2013-1643
Marked as fixed in versions php5/5.3.3-7+squeeze15.
Bug #702221 {Done: Ondřej Surý <ondrej at debian.org>} [php5] php5: CVE-2013-1635 CVE-2013-1643
Bug 702221 is already marked as done; not doing anything.
> thanks
Stopping processing here.

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