arduino
diff --git a/‎arduino-ide-extension/package.json
Copy file name to clipboardExpand all lines: arduino-ide-extension/package.json
+1-1Lines changed: 1 addition & 1 deletion b/‎arduino-ide-extension/package.json
Copy file name to clipboardExpand all lines: arduino-ide-extension/package.json
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎electron-app/package.json
Copy file name to clipboardExpand all lines: electron-app/package.json
+2-2Lines changed: 2 additions & 2 deletions b/‎electron-app/package.json
Copy file name to clipboardExpand all lines: electron-app/package.json
+2-2Lines changed: 2 additions & 2 deletions
diff --git a/‎package.json
Copy file name to clipboardExpand all lines: package.json
+1-1Lines changed: 1 addition & 1 deletion b/‎package.json
Copy file name to clipboardExpand all lines: package.json
+1-1Lines changed: 1 addition & 1 deletion
@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide-extension",
-  "version": "2.3.2",
+  "version": "2.3.3",
   "description": "An extension for Theia building the Arduino IDE",
   "license": "AGPL-3.0-or-later",
   "scripts": {
 
@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "electron-app",
-  "version": "2.3.2",
+  "version": "2.3.3",
   "license": "AGPL-3.0-or-later",
   "main": "./src-gen/backend/electron-main.js",
   "dependencies": {
@@ -19,7 +19,7 @@
     "@theia/preferences": "1.41.0",
     "@theia/terminal": "1.41.0",
     "@theia/workspace": "1.41.0",
-    "arduino-ide-extension": "2.3.2"
+    "arduino-ide-extension": "2.3.3"
   },
   "devDependencies": {
     "@theia/cli": "1.41.0",
 
@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide",
-  "version": "2.3.2",
+  "version": "2.3.3",
   "description": "Arduino IDE",
   "repository": "https://github.com/arduino/arduino-ide.git",
   "author": "Arduino SA",
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "arduino-ide-extension",`
`3`		`- "version": "2.3.2",`
	`3`	`+ "version": "2.3.3",`
`4`	`4`	`"description": "An extension for Theia building the Arduino IDE",`
`5`	`5`	`"license": "AGPL-3.0-or-later",`
`6`	`6`	`"scripts": {`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "arduino-ide",`
`3`		`- "version": "2.3.2",`
	`3`	`+ "version": "2.3.3",`
`4`	`4`	`"description": "Arduino IDE",`
`5`	`5`	`"repository": "https://github.com/arduino/arduino-ide.git",`
`6`	`6`	`"author": "Arduino SA",`