Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> clone 1108280 -1
Bug #1108280 [tomcat10] tomcat10: tomcat doesn't use `jakartaee-migration-shaded.jar` when installed
Bug 1108280 cloned as bug 1132599
> reassign -1 tomcat11 11.0.18-1
Bug #1132599 [tomcat10] tomcat10: tomcat doesn't use `jakartaee-migration-shaded.jar` when installed
Bug reassigned from package 'tomcat10' to 'tomcat11'.
No longer marked as found in versions tomcat10/10.1.34-0+deb12u2.
Ignoring request to alter fixed versions of bug #1132599 to the same values previously set
Bug #1132599 [tomcat11] tomcat10: tomcat doesn't use `jakartaee-migration-shaded.jar` when installed
Marked as found in versions tomcat11/11.0.18-1.
> retitle -1 tomcat11: tomcat doesn't use `jakartaee-migration-shaded.jar` when installed
Bug #1132599 [tomcat11] tomcat10: tomcat doesn't use `jakartaee-migration-shaded.jar` when installed
Changed Bug title to 'tomcat11: tomcat doesn't use `jakartaee-migration-shaded.jar` when installed' from 'tomcat10: tomcat doesn't use `jakartaee-migration-shaded.jar` when installed'.
>
End of message, stopping processing here.

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