This is an automated email from the ASF dual-hosted git repository.

markt-asf pushed a commit to branch 11.0.x
in repository https://gitbox.apache.org/repos/asf/tomcat.git


The following commit(s) were added to refs/heads/11.0.x by this push:
     new 27cc7ec9f9 Upgrade migration tool to 1.0.13
27cc7ec9f9 is described below

commit 27cc7ec9f9feb091e01188780d7ee0ffc2df11f4
Author: Mark Thomas <[email protected]>
AuthorDate: Mon Oct 5 14:12:00 2026 +0100

    Upgrade migration tool to 1.0.13
---
 build.properties.default   | 4 ++--
 webapps/docs/changelog.xml | 3 +++
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/build.properties.default b/build.properties.default
index e7bcb22202..fd14866fe0 100644
--- a/build.properties.default
+++ b/build.properties.default
@@ -306,10 +306,10 @@ bnd.jar=${bnd.home}/biz.aQute.bnd-${bnd.version}.jar
 
bnd.loc=${base-maven.loc}/biz/aQute/bnd/biz.aQute.bnd/${bnd.version}/biz.aQute.bnd-${bnd.version}.jar
 
 # ----- Tomcat Migration Tool for Jakarta EE -----
-migration-lib.version=1.0.12
+migration-lib.version=1.0.13
 migration-lib.checksum.enabled=true
 migration-lib.checksum.algorithm=MD5|SHA-1
-migration-lib.checksum.value=b34fa233f5d88f7e6aff914495c8820d|b3576140e7a72ed743f3a5c6d06bf04fed83531f
+migration-lib.checksum.value=2f44b3898d7a1a56ed14bad28a11569a|0df690324834c7d943501ae70a645e3a2f5bba35
 
 migration-lib.home=${base.path}/migration-${migration-lib.version}
 
migration-lib.jar=${migration-lib.home}/jakartaee-migration-${migration-lib.version}-shaded.jar
diff --git a/webapps/docs/changelog.xml b/webapps/docs/changelog.xml
index 91eb02d62e..cf8a847260 100644
--- a/webapps/docs/changelog.xml
+++ b/webapps/docs/changelog.xml
@@ -307,6 +307,9 @@
       <add>
         Improvements to Japanese translations provided by tak7iji. (markt)
       </add>
+      <update>
+        Update to Migration tool for Jakarta EE 1.0.13. (markt)
+      </update>
     </changelog>
   </subsection>
 </section>


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to