Processing commands for cont...@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 ow...@bugs.debian.org with problems __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.