Processed: retitle 799175 to tomcat8-admin: Please provide a way to configure tomcat manager

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 799175 tomcat8-admin: Please provide a way to configure tomcat manager
Bug #799175 [tomcat8-admin] tomcat7-admin: Please provide a way to configure tomcat manager
Changed Bug title to 'tomcat8-admin: Please provide a way to configure tomcat manager' from 'tomcat7-admin: Please provide a way to configure tomcat manager'.
> thanks
Stopping processing here.

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