On 14/04/2020 11:31, GitBox wrote: > smarkwal commented on issue #2: Bugfix: EESpecProfile for Tomcat: Exclude > Java packages not migrated to Jakarta > URL: > https://github.com/apache/tomcat-jakartaee-migration/pull/2#issuecomment-613359307 > > > Do you have a hint for me on the product (Tomcat 10?) and component I > should use in Bugzilla when reporting a bug for this migration tool? (Sorry > for abusing this PR for such communication :-/)
We discussed enabling GitHub issues as an experiment for this project. We didn't reach a decision but I don;t recall any outright objections so I am going to go ahead and do that for this project so we can see how we get on with that approach. If it doesn't work, we can disable it again. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
