Processing commands for cont...@bugs.debian.org: > clone 696468 -1 Bug #696468 [phpunit-story] phpunit-story: depends on php5-spl which does not appear to exist Bug 696468 cloned as bug 696743 > reassign -1 pkg-php-tools Bug #696743 [phpunit-story] phpunit-story: depends on php5-spl which does not appear to exist Bug reassigned from package 'phpunit-story' to 'pkg-php-tools'. No longer marked as found in versions phpunit-story/1.0.0-2. Ignoring request to alter fixed versions of bug #696743 to the same values previously set > retitle -1 pkg-php-tools: generates broken dependency on php5-spl Bug #696743 [pkg-php-tools] phpunit-story: depends on php5-spl which does not appear to exist Changed Bug title to 'pkg-php-tools: generates broken dependency on php5-spl' from 'phpunit-story: depends on php5-spl which does not appear to exist' > severity -1 important Bug #696743 [pkg-php-tools] pkg-php-tools: generates broken dependency on php5-spl Severity set to 'important' from 'serious' > thanks Stopping processing here.
Please contact me if you need assistance. -- 696468: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=696468 696743: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=696743 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
