>For some reason their bot didn't recognize your attachment as a patch, and so didn't subscribe Ubuntu Review Team to this report
Hm, I thought that would happen automatically when I checked the "this- is-a-patch"-box. I could have sworn it did so in the past. Anyways, I'll subscribe them manually now. >As for the regression potential... I see your point. What I'm worried about is that if this is accepted and goes through, every person with libjetty-extra-java installed will be switched from tomcat6 to 7 and I feel on shaky ground when trying to assess what could wrong when this happens. If you don't mind we could add something along the lines of your comment in the regression potential section in the description. ** Tags added: patch -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1286779 Title: Please migrate libjetty-extra-java to tomcat7 To manage notifications about this bug go to: https://bugs.launchpad.net/hundredpapercuts/+bug/1286779/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
