[php-maint] Processed: closing 614904, closing 668928, closing 612364, closing 507401, closing 674685, closing 734126 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> close 614904
Bug #614904 {Done: Ondřej Surý <ondrej at sury.org>} [php5-cgi] php5-cgi: fastcgi breaks __COMPILER_HALT_OFFSET__
Bug 614904 is already marked as done; not doing anything.
> close 668928
Bug #668928 {Done: Ondřej Surý <ondrej at sury.org>} [php5-cgi] interpreter crashes with "stack smashing detected" for unknown reason
Bug 668928 is already marked as done; not doing anything.
> close 612364
Bug #612364 {Done: Ondřej Surý <ondrej at sury.org>} [php5] php5: get_browser() inserts special characters without respecting encoding
Bug 612364 is already marked as done; not doing anything.
> close 507401
Bug #507401 {Done: Ondřej Surý <ondrej at sury.org>} [php5-dev] php5-dev: Please provide /usr/bin/php-run-tests
Bug 507401 is already marked as done; not doing anything.
> close 674685
Bug #674685 {Done: Ondřej Surý <ondrej at sury.org>} [php5] Please document reasons for not supporting t1lib/imagepsloadfont
Bug 674685 is already marked as done; not doing anything.
> close 734126
Bug #734126 {Done: Ondřej Surý <ondrej at sury.org>} [php5-cli] the reason php -a doesn't print anything
Bug 734126 is already marked as done; not doing anything.
> close 752085
Bug #752085 {Done: Ondřej Surý <ondrej at sury.org>} [php5] [php5] Please disambiguate references to issue reports in changelog
Bug 752085 is already marked as done; not doing anything.
> close 752086
Bug #752086 {Done: Ondřej Surý <ondrej at sury.org>} [php5] [php5] Please do not request users to read UPGRADING in NEWS.Debian
Bug 752086 is already marked as done; not doing anything.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
507401: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=507401
612364: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=612364
614904: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=614904
668928: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=668928
674685: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=674685
734126: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=734126
752085: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=752085
752086: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=752086
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems