From d93c9ba6540dbeb25d9a9b6579bc9d8537337b7a Mon Sep 17 00:00:00 2001
From: Alberto Iannaccone <a.iannaccone@arduino.cc>
Date: Tue, 2 Aug 2022 15:29:15 +0200
Subject: [PATCH] 2.0.0-rc9.1 (#1272)

---
 arduino-ide-extension/package.json | 2 +-
 browser-app/package.json           | 4 ++--
 electron-app/package.json          | 4 ++--
 package.json                       | 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/arduino-ide-extension/package.json b/arduino-ide-extension/package.json
index 5900cbf38..713c7868c 100644
--- a/arduino-ide-extension/package.json
+++ b/arduino-ide-extension/package.json
@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide-extension",
-  "version": "2.0.0-rc9",
+  "version": "2.0.0-rc9.1",
   "description": "An extension for Theia building the Arduino IDE",
   "license": "AGPL-3.0-or-later",
   "scripts": {
diff --git a/browser-app/package.json b/browser-app/package.json
index 813e387c3..30ab3cd86 100644
--- a/browser-app/package.json
+++ b/browser-app/package.json
@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "browser-app",
-  "version": "2.0.0-rc9",
+  "version": "2.0.0-rc9.1",
   "license": "AGPL-3.0-or-later",
   "dependencies": {
     "@theia/core": "1.25.0",
@@ -19,7 +19,7 @@
     "@theia/process": "1.25.0",
     "@theia/terminal": "1.25.0",
     "@theia/workspace": "1.25.0",
-    "arduino-ide-extension": "2.0.0-rc9"
+    "arduino-ide-extension": "2.0.0-rc9.1"
   },
   "devDependencies": {
     "@theia/cli": "1.25.0"
diff --git a/electron-app/package.json b/electron-app/package.json
index 1627cac2f..26ff29316 100644
--- a/electron-app/package.json
+++ b/electron-app/package.json
@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "electron-app",
-  "version": "2.0.0-rc9",
+  "version": "2.0.0-rc9.1",
   "license": "AGPL-3.0-or-later",
   "main": "src-gen/frontend/electron-main.js",
   "dependencies": {
@@ -21,7 +21,7 @@
     "@theia/process": "1.25.0",
     "@theia/terminal": "1.25.0",
     "@theia/workspace": "1.25.0",
-    "arduino-ide-extension": "2.0.0-rc9"
+    "arduino-ide-extension": "2.0.0-rc9.1"
   },
   "devDependencies": {
     "@theia/cli": "1.25.0",
diff --git a/package.json b/package.json
index b0608174d..529adac15 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide",
-  "version": "2.0.0-rc9",
+  "version": "2.0.0-rc9.1",
   "description": "Arduino IDE",
   "repository": "https://github.com/arduino/arduino-ide.git",
   "author": "Arduino SA",