From b8dd39c729d9fb4b886f3552d382f930b5aec605 Mon Sep 17 00:00:00 2001
From: Akos Kitta <a.kitta@arduino.cc>
Date: Mon, 15 Jan 2024 13:51:58 +0100
Subject: [PATCH] chore: pinned Arduino CLI `0.35.1`

Closes arduino/arduino-ide#2318

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
---
 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 a7bc5354..f6f09af9 100644
--- a/arduino-ide-extension/package.json
+++ b/arduino-ide-extension/package.json
@@ -169,7 +169,7 @@
   ],
   "arduino": {
     "arduino-cli": {
-      "version": "0.35.0-rc.7"
+      "version": "0.35.1"
     },
     "arduino-fwuploader": {
       "version": "2.4.1"