From 452bdbfeab5e7ce8951975fd1a364fea88ea7883 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 1 Jun 2023 16:30:17 +0000 Subject: [PATCH] jdtls: Update to version 1.24.0-202306011237 --- bucket/jdtls.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bucket/jdtls.json b/bucket/jdtls.json index 33ecf63d09..6ffe78a92d 100644 --- a/bucket/jdtls.json +++ b/bucket/jdtls.json @@ -1,5 +1,5 @@ { - "version": "1.24.0-202306010331", + "version": "1.24.0-202306011237", "description": "Java language server", "homepage": "https://projects.eclipse.org/projects/eclipse.jdt.ls", "license": "EPL-2.0", @@ -7,8 +7,8 @@ "JDK": "java/openjdk", "Python": "python" }, - "url": "https://download.eclipse.org/jdtls/snapshots/jdt-language-server-1.24.0-202306010331.tar.gz", - "hash": "d769a91e8d3a9d3608c8d7be37b84baf8b0bfeddc95c9e17f7b7f9e13fc27b3b", + "url": "https://download.eclipse.org/jdtls/snapshots/jdt-language-server-1.24.0-202306011237.tar.gz", + "hash": "3a6f7859e9284c8b8906d822790f1739ee80010c20e71270918f66365b2aba37", "installer": { "script": "shim (search_in_path python.exe) $global jdtls \"$dir\\bin\\jdtls\"" },