From 82f320bfcb6e43e29b46cbe0b61f1919059b99d6 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Wed, 10 Jan 2024 08:26:50 +0000
Subject: [PATCH] jenkins: Update to version 2.440

---
 bucket/jenkins.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bucket/jenkins.json b/bucket/jenkins.json
index d1b48f0a83..d8a87cafc1 100644
--- a/bucket/jenkins.json
+++ b/bucket/jenkins.json
@@ -1,5 +1,5 @@
 {
-    "version": "2.439",
+    "version": "2.440",
     "description": "An automation server which enables developers around the world to reliably build, test, and deploy their software.",
     "homepage": "https://www.jenkins.io",
     "license": "MIT",
@@ -7,8 +7,8 @@
         "Java 11": "java/openjdk11",
         "Java 17": "java/openjdk17"
     },
-    "url": "https://get.jenkins.io/war/2.439/jenkins.war#/jenkins.jar",
-    "hash": "780383da2ab539d542c8e43c3cec38a3c3769d0534d0b4d520f750ff88b2bc54",
+    "url": "https://get.jenkins.io/war/2.440/jenkins.war#/jenkins.jar",
+    "hash": "736b1917be2c2844f430e0c1f66150f9b7fbb5ce0e9c428db6ea3198f8f71e31",
     "bin": "jenkins.jar",
     "checkver": {
         "url": "https://www.jenkins.io/changelog/rss.xml",