git: 825e8ab53b20 - main - devel/jenkins: Update to 2.417

From: Li-Wen Hsu <lwhsu_at_FreeBSD.org>
Date: Wed, 02 Aug 2023 16:33:12 UTC 
The branch main has been updated by lwhsu:

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

commit 825e8ab53b20ffc4fd6ba8efc7081877699d1f54
Author:     Li-Wen Hsu <lwhsu@FreeBSD.org>
AuthorDate: 2023-08-02 16:32:59 +0000
Commit:     Li-Wen Hsu <lwhsu@FreeBSD.org>
CommitDate: 2023-08-02 16:32:59 +0000

    devel/jenkins: Update to 2.417
    
    Sponsored by:   The FreeBSD Foundation
---
 devel/jenkins/Makefile | 2 +-
 devel/jenkins/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile
index deaadfbd735c..98d759fcac51 100644
--- a/devel/jenkins/Makefile
+++ b/devel/jenkins/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	jenkins
-PORTVERSION=	2.416
+PORTVERSION=	2.417
 CATEGORIES=	devel java
 MASTER_SITES=	https://get.jenkins.io/war/${PORTVERSION}/
 DISTNAME=	jenkins
diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo
index 97db3088fb81..5205f8eb30ac 100644
--- a/devel/jenkins/distinfo
+++ b/devel/jenkins/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1690384652
-SHA256 (jenkins/2.416/jenkins.war) = ceb3c171e25728b47645848dae263e41a12c4911ac71154985f0653e7fa211c8
-SIZE (jenkins/2.416/jenkins.war) = 89541474
+TIMESTAMP = 1690905328
+SHA256 (jenkins/2.417/jenkins.war) = 606f4654cf59a0443cc25c6b054f7d09b1b9f5fa31dc8cb168661ee8420f4a30
+SIZE (jenkins/2.417/jenkins.war) = 89542947