From 31a727e94c54e4b7859a105d41608cb62d724588 Mon Sep 17 00:00:00 2001
From: Akos Kitta <a.kitta@arduino.cc>
Date: Thu, 28 Jul 2022 18:37:34 +0200
Subject: [PATCH] Use `0.25.1` CLI.

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 a5dea70dc..5900cbf38 100644
--- a/arduino-ide-extension/package.json
+++ b/arduino-ide-extension/package.json
@@ -156,7 +156,7 @@
   ],
   "arduino": {
     "cli": {
-      "version": "0.25.0"
+      "version": "0.25.1"
     },
     "fwuploader": {
       "version": "2.2.0"