This is an automated email from the ASF dual-hosted git repository.
markt pushed a commit to branch 10.0.x
in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/10.0.x by this push:
new 3b89f7eeaa Upgrade migration tool for Jakarta EE to 1.0.3
3b89f7eeaa is described below
commit 3b89f7eeaad4eda8ee25f34f0bd7aff8150e589f
Author: Mark Thomas <[email protected]>
AuthorDate: Mon Sep 12 21:11:20 2022 +0100
Upgrade migration tool for Jakarta EE to 1.0.3
---
build.properties.default | 6 +++---
webapps/docs/changelog.xml | 4 ++++
2 files changed, 7 insertions(+), 3 deletions(-)
diff --git a/build.properties.default b/build.properties.default
index fed31316f4..4bf74a263c 100644
--- a/build.properties.default
+++ b/build.properties.default
@@ -310,12 +310,12 @@ 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.1
+migration-lib.version=1.0.3
-# checksums for jakartaee-migration-1.0.1-shaded.jar
+# checksums for jakartaee-migration-1.0.3-shaded.jar
migration-lib.checksum.enabled=true
migration-lib.checksum.algorithm=MD5|SHA-1
-migration-lib.checksum.value=c81ed5111319cf59073b9d96d368bc6f|5deeb6d46401642df23cbc48c5766321bc3d7b44
+migration-lib.checksum.value=9b068ac98f98932fabb3dadf2523a27e|17a0d6f6eb19f11ba300b178ef460bcdc5837f61
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 1020995712..b1c22e0788 100644
--- a/webapps/docs/changelog.xml
+++ b/webapps/docs/changelog.xml
@@ -323,6 +323,10 @@
<add>
Improvements to Spanish translations. (markt)
</add>
+ <update>
+ Update the Apache Tomcat migration tool for Jakarta EE library to
1.0.3.
+ (markt)
+ </update>
</changelog>
</subsection>
</section>
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
