[pkg-php-pear] Processed: Re:

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 696743 pkg-php-tools
Bug #696743 [phpunit-story] pkg-php-tools: generates broken dependency on php5-spl
Bug reassigned from package 'phpunit-story' to 'pkg-php-tools'.
Ignoring request to alter found versions of bug #696743 to the same values previously set
Ignoring request to alter fixed versions of bug #696743 to the same values previously set
> severity 696743 important
Bug #696743 [pkg-php-tools] pkg-php-tools: generates broken dependency on php5-spl
Severity set to 'important' from 'normal'
> tags 696743 - upstream
Bug #696743 [pkg-php-tools] pkg-php-tools: generates broken dependency on php5-spl
Removed tag(s) upstream.
> thanks
Stopping processing here.

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