Processed: retitle 710806 to libservlet3.1-java: provide versionless servlet-api JAR

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 710806 libservlet3.1-java: provide versionless servlet-api JAR
Bug #710806 [libservlet3.0-java] libservlet3.0-java: provide versionless servlet-api JAR
Changed Bug title to 'libservlet3.1-java: provide versionless servlet-api JAR' from 'libservlet3.0-java: provide versionless servlet-api JAR'.
> thanks
Stopping processing here.

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