This is an automated email from the ASF dual-hosted git repository.
markt pushed a commit to branch 10.1.x
in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/10.1.x by this push:
new fc2bbd4f38 Update migration tool to 1.0.7
fc2bbd4f38 is described below
commit fc2bbd4f38067494767142788041454355e43fbb
Author: Mark Thomas <[email protected]>
AuthorDate: Tue May 2 15:30:10 2023 +0100
Update migration tool to 1.0.7
---
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 d86608eadb..3e9cb5d31f 100644
--- a/build.properties.default
+++ b/build.properties.default
@@ -311,12 +311,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.6
+migration-lib.version=1.0.7
-# checksums for jakartaee-migration-1.0.6-shaded.jar
+# checksums for jakartaee-migration-1.0.7-shaded.jar
migration-lib.checksum.enabled=true
migration-lib.checksum.algorithm=MD5|SHA-1
-migration-lib.checksum.value=26a9088a708d81604bcd41d867297fe2|db0fe38cdf2856f709a0c5a85f97d3e9e47f3716
+migration-lib.checksum.value=378eeda7171284210688349f31e60e73|2baf7f729b409b47467c2ea998216441bf1c33cc
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 ab668c7417..d4621cb4be 100644
--- a/webapps/docs/changelog.xml
+++ b/webapps/docs/changelog.xml
@@ -189,6 +189,10 @@
<update>
Update Jacoco to 0.8.10. (markt)
</update>
+ <update>
+ Update the packaged version of the Tomcat Migration Tool for Jakarta EE
+ to 1.0.7. (markt)
+ </update>
</changelog>
</subsection>
</section>
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
