[php-maint] Processed: found 731112 in php5/5.3.3-7+squeeze17, fixed 731112 in php5/5.3.3-7+squeeze18

Thu Dec 12 23:00:19 UTC 2013

Processing commands for control at bugs.debian.org:

> found 731112 php5/5.3.3-7+squeeze17
Bug #731112 {Done: Ondřej Surý <ondrej at debian.org>} [php5] php5: CVE-2013-6712
Marked as found in versions php5/5.3.3-7+squeeze17.
> fixed 731112 php5/5.3.3-7+squeeze18
Bug #731112 {Done: Ondřej Surý <ondrej at debian.org>} [php5] php5: CVE-2013-6712
Marked as fixed in versions php5/5.3.3-7+squeeze18.
> thanks
Stopping processing here.

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