Processed: versionless servlet-api JAR

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> clone 710743 -1
Bug #710743 [libservlet2.5-java] libservlet2.5-java: Unable to locate servlet-api in /usr/share/java
Bug 710743 cloned as bug 710806
> reassign -1 libservlet3.0-java
Bug #710806 [libservlet2.5-java] libservlet2.5-java: Unable to locate servlet-api in /usr/share/java
Bug reassigned from package 'libservlet2.5-java' to 'libservlet3.0-java'.
No longer marked as found in versions tomcat6/6.0.35-6.
Ignoring request to alter fixed versions of bug #710806 to the same values previously set
> retitle -1 libservlet3.0-java: provide versionless servlet-api JAR
Bug #710806 [libservlet3.0-java] libservlet2.5-java: Unable to locate servlet-api in /usr/share/java
Changed Bug title to 'libservlet3.0-java: provide versionless servlet-api JAR' from 'libservlet2.5-java: Unable to locate servlet-api in /usr/share/java'
> thanks
Stopping processing here.

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