Processed: notfound 794958 in 7.0.63-1~ubuntu14.04.1~c42.ppa1, found 794958 in 7.0.63-1

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> notfound 794958 7.0.63-1~ubuntu14.04.1~c42.ppa1
Bug #794958 [tomcat7] tomcat7: wrong usage of catalina.home instead catalina.base in catalina.properties variable common.loader
There is no source info for the package 'tomcat7' at version '7.0.63-1~ubuntu14.04.1~c42.ppa1' with architecture ''
Unable to make a source version for version '7.0.63-1~ubuntu14.04.1~c42.ppa1'
No longer marked as found in versions 7.0.63-1~ubuntu14.04.1~c42.ppa1.
> found 794958 7.0.63-1
Bug #794958 [tomcat7] tomcat7: wrong usage of catalina.home instead catalina.base in catalina.properties variable common.loader
Marked as found in versions tomcat7/7.0.63-1.
> thanks
Stopping processing here.

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