From 4a778ad61ecfd38a1b7a9a73520dce3a6181adfc Mon Sep 17 00:00:00 2001
From: Dave Simpson <45690499+davegarthsimpson@users.noreply.github.com>
Date: Mon, 27 Feb 2023 11:58:34 +0100
Subject: [PATCH] bump CLI

---
 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 1ab09157f..dd2959470 100644
--- a/arduino-ide-extension/package.json
+++ b/arduino-ide-extension/package.json
@@ -163,7 +163,7 @@
   ],
   "arduino": {
     "cli": {
-      "version": "0.31.0-rc.1"
+      "version": "0.31.0"
     },
     "fwuploader": {
       "version": "2.2.2"