git: 5bc1753f587f - main - devel/jenkins: Update to 2.419

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

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

commit 5bc1753f587f8ac4e6ad4cff93ea66170509c34e
Author:     Li-Wen Hsu <lwhsu@FreeBSD.org>
AuthorDate: 2023-08-16 06:38:50 +0000
Commit:     Li-Wen Hsu <lwhsu@FreeBSD.org>
CommitDate: 2023-08-16 06:38:50 +0000

    devel/jenkins: Update to 2.419
    
    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 1f66a18e3e3f..db8e27bd2e7a 100644
--- a/devel/jenkins/Makefile
+++ b/devel/jenkins/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	jenkins
-PORTVERSION=	2.418
+PORTVERSION=	2.419
 CATEGORIES=	devel java
 MASTER_SITES=	https://get.jenkins.io/war/${PORTVERSION}/
 DISTNAME=	jenkins
diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo
index 601c1f78173b..ef7d89cf5d16 100644
--- a/devel/jenkins/distinfo
+++ b/devel/jenkins/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1691520882
-SHA256 (jenkins/2.418/jenkins.war) = 7edc92816d30f8cef0241faa60c068f75ddf824152808b347007b9072df49191
-SIZE (jenkins/2.418/jenkins.war) = 89544249
+TIMESTAMP = 1692164083
+SHA256 (jenkins/2.419/jenkins.war) = 895a90dd5929a38c8cc8c0342478d27a6e01470cd7e8da8c4ae51f26aa1bdf85
+SIZE (jenkins/2.419/jenkins.war) = 89544261