[php-maint] Processed: notfixed 507401 in php5/5.4.4-14, closing 507401, notfound 507401 in php5/5.2.6-5

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> notfixed 507401 php5/5.4.4-14
Bug #507401 {Done: Ondřej Surý <ondrej at sury.org>} [php5-dev] php5-dev: Please provide /usr/bin/php-run-tests
Ignoring request to alter fixed versions of bug #507401 to the same values previously set
> 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.
> notfound 507401 php5/5.2.6-5
Bug #507401 {Done: Ondřej Surý <ondrej at sury.org>} [php5-dev] php5-dev: Please provide /usr/bin/php-run-tests
No longer marked as found in versions php5/5.2.6-5.
> thanks
Stopping processing here.

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