Author: markt Date: Thu Jun 4 15:53:39 2026 New Revision: 84967 Log: Release Tomcat migration tool for Jakarta EE 1.0.12
Added:
release/tomcat/jakartaee-migration/v1.0.12/
- copied from r84966, dev/tomcat/jakartaee-migration/v1.0.12/
Deleted:
dev/tomcat/jakartaee-migration/v1.0.12/
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
