Processed: the problematic code is found in tomcat 8 and 9, too

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> clone 923795 -1
Bug #923795 [tomcat7] /etc/cron.daily/tomcat7: compresses “live” logfiles
Bug 923795 cloned as bug 925925
> clone 923795 -2
Bug #923795 [tomcat7] /etc/cron.daily/tomcat7: compresses “live” logfiles
Bug 923795 cloned as bug 925926
> reassign -1 tomcat8
Bug #925925 [tomcat7] /etc/cron.daily/tomcat7: compresses “live” logfiles
Bug reassigned from package 'tomcat7' to 'tomcat8'.
No longer marked as found in versions 7.0.56-3+really7.0.91-1.
Ignoring request to alter fixed versions of bug #925925 to the same values previously set
> reassign -2 tomcat9
Bug #925926 [tomcat7] /etc/cron.daily/tomcat7: compresses “live” logfiles
Bug reassigned from package 'tomcat7' to 'tomcat9'.
No longer marked as found in versions 7.0.56-3+really7.0.91-1.
Ignoring request to alter fixed versions of bug #925926 to the same values previously set
> retitle -1 /etc/cron.daily/tomcat8: compresses “live” logfiles
Bug #925925 [tomcat8] /etc/cron.daily/tomcat7: compresses “live” logfiles
Changed Bug title to '/etc/cron.daily/tomcat8: compresses “live” logfiles' from '/etc/cron.daily/tomcat7: compresses “live” logfiles'.
> retitle -2 /etc/cron.daily/tomcat9: compresses “live” logfiles
Bug #925926 [tomcat9] /etc/cron.daily/tomcat7: compresses “live” logfiles
Changed Bug title to '/etc/cron.daily/tomcat9: compresses “live” logfiles' from '/etc/cron.daily/tomcat7: compresses “live” logfiles'.
> found -1 8.5.14-1+deb9u3
Bug #925925 [tomcat8] /etc/cron.daily/tomcat8: compresses “live” logfiles
Marked as found in versions tomcat8/8.5.14-1+deb9u3.
> found -2 9.0.16-3
Bug #925926 [tomcat9] /etc/cron.daily/tomcat9: compresses “live” logfiles
Marked as found in versions tomcat9/9.0.16-3.
> thanks
Stopping processing here.

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