[php-maint] Processed: Re: Bug#711291: php5 cron file can run multiple times in parallel

[Debian Bug Tracking System]

Processing control commands:

> fixed -1 php5/5.5.0~alpha1-1
Bug #711291 [php5] php5 cron file can run multiple times in parallel
The source php5 and version 5.5.0~alpha1-1 do not appear to match any binary packages
Marked as fixed in versions php5/5.5.0~alpha1-1.
> tags -1 wheezy
Bug #711291 [php5] php5 cron file can run multiple times in parallel
Added tag(s) wheezy.

-- 
711291: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=711291
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems