[php-maint] Processed: closing 812323, archiving 812323

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> close 812323
Bug #812323 {Done: Ondřej Surý <ondrej at sury.org>} [php5-common] php5-common: short_open_tag in php.ini twice, and disabled
Bug 812323 is already marked as done; not doing anything.
> archive 812323
Bug #812323 {Done: Ondřej Surý <ondrej at sury.org>} [php5-common] php5-common: short_open_tag in php.ini twice, and disabled
archived 812323 to archive/23 (from 812323)
> thanks
Stopping processing here.

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