From aca5ece98522e2fdc995055b2fad2c1360bcf4c9 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 209d3d7a8..aa42f2a86 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": "c1dbee2"
       }
     },
     "clangd": {