git: dd09019fe00f - main - www/tomcat101: update to 10.1.12

From: Vladimir Druzenko <vvd_at_FreeBSD.org>
Date: Mon, 14 Aug 2023 17:04:14 UTC 
The branch main has been updated by vvd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=dd09019fe00fcd5755201cdcfccc4ed2990fbf63

commit dd09019fe00fcd5755201cdcfccc4ed2990fbf63
Author:     Vladimir Druzenko <vvd@FreeBSD.org>
AuthorDate: 2023-08-14 17:00:10 +0000
Commit:     Vladimir Druzenko <vvd@FreeBSD.org>
CommitDate: 2023-08-14 17:04:00 +0000

    www/tomcat101: update to 10.1.12
    
    Changelog:
    https://tomcat.apache.org/tomcat-10.1-doc/changelog.html#Tomcat_10.1.12_(markt)
    
    Approved by:    arrowd (mentor, implicit)
    MFH:            2023Q3
---
 www/tomcat101/Makefile | 2 +-
 www/tomcat101/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/www/tomcat101/Makefile b/www/tomcat101/Makefile
index bebd33c2abd2..fd79f8c032dd 100644
--- a/www/tomcat101/Makefile
+++ b/www/tomcat101/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	tomcat
-DISTVERSION=	10.1.11
+DISTVERSION=	10.1.12
 CATEGORIES=	www java
 MASTER_SITES=	APACHE/${PORTNAME}/${PORTNAME}-${DISTVERSION:C/([0-9]+)(.*)/\1/}/v${DISTVERSION}/bin
 PKGNAMESUFFIX=	101
diff --git a/www/tomcat101/distinfo b/www/tomcat101/distinfo
index c0357bed1045..ab01f446cd02 100644
--- a/www/tomcat101/distinfo
+++ b/www/tomcat101/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1689018793
-SHA256 (apache-tomcat-10.1.11.tar.gz) = 5438ab5bb82eab806a0f26b8ceafdb45ec66519b324567b052b7ca8a9e6314ac
-SIZE (apache-tomcat-10.1.11.tar.gz) = 12146928
+TIMESTAMP = 1692029074
+SHA256 (apache-tomcat-10.1.12.tar.gz) = af3fb10448f7ed653ff85138af520666483f2d76e59172d7dd87a6d340a09d2f
+SIZE (apache-tomcat-10.1.12.tar.gz) = 12444039