From d78e91730b3c150797129c4b075f0582e84aec31 Mon Sep 17 00:00:00 2001
From: Giacomo Cusinato <7659518+giacomocusinato@users.noreply.github.com>
Date: Fri, 12 Jul 2024 16:42:46 +0200
Subject: [PATCH] chore: update `arduino-language-server` version for cli-1.0.0

---
 arduino-ide-extension/package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arduino-ide-extension/package.json b/arduino-ide-extension/package.json
index 8e4308bc7..4ee2aafb9 100644
--- a/arduino-ide-extension/package.json
+++ b/arduino-ide-extension/package.json
@@ -179,7 +179,7 @@
       "version": {
         "owner": "arduino",
         "repo": "arduino-language-server",
-        "commitish": "91c2ba8"
+        "commitish": "05ec308"
       }
     },
     "clangd": {