From 825f0b0f2a0e75d1ffd81f3d9893d64e789c47e1 Mon Sep 17 00:00:00 2001
From: Francesco Stasi <f.stasi@me.com>
Date: Thu, 7 Oct 2021 09:38:19 +0200
Subject: [PATCH] Updated to 2.0.0-beta.12

---
 .github/workflows/github-stats.yaml | 2 +-
 arduino-ide-extension/package.json  | 2 +-
 browser-app/package.json            | 4 ++--
 electron-app/package.json           | 4 ++--
 package.json                        | 2 +-
 5 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/github-stats.yaml b/.github/workflows/github-stats.yaml
index cd6e8cf6..c7c8a98a 100644
--- a/.github/workflows/github-stats.yaml
+++ b/.github/workflows/github-stats.yaml
@@ -31,7 +31,7 @@ jobs:
 
             // Get download stats for every release
             for (const rel of releases) {
-              // Names for assets are like `arduino-ide_2.0.0-beta.11_Linux_64bit.zip`,
+              // Names for assets are like `arduino-ide_2.0.0-beta.12_Linux_64bit.zip`,
               // we'll use this later to split the asset file name more easily
               const baseName = `arduino-ide_${rel.name}_`
 
diff --git a/arduino-ide-extension/package.json b/arduino-ide-extension/package.json
index 47c4a389..6bb9166b 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-beta.11",
+  "version": "2.0.0-beta.12",
   "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 2adb7a78..44c6d900 100644
--- a/browser-app/package.json
+++ b/browser-app/package.json
@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "browser-app",
-  "version": "2.0.0-beta.11",
+  "version": "2.0.0-beta.12",
   "license": "AGPL-3.0-or-later",
   "dependencies": {
     "@theia/core": "1.18.0",
@@ -20,7 +20,7 @@
     "@theia/process": "1.18.0",
     "@theia/terminal": "1.18.0",
     "@theia/workspace": "1.18.0",
-    "arduino-ide-extension": "2.0.0-beta.11"
+    "arduino-ide-extension": "2.0.0-beta.12"
   },
   "devDependencies": {
     "@theia/cli": "1.17.2"
diff --git a/electron-app/package.json b/electron-app/package.json
index fcc5202a..3cef0241 100644
--- a/electron-app/package.json
+++ b/electron-app/package.json
@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "electron-app",
-  "version": "2.0.0-beta.11",
+  "version": "2.0.0-beta.12",
   "license": "AGPL-3.0-or-later",
   "main": "src-gen/frontend/electron-main.js",
   "dependencies": {
@@ -22,7 +22,7 @@
     "@theia/process": "1.18.0",
     "@theia/terminal": "1.18.0",
     "@theia/workspace": "1.18.0",
-    "arduino-ide-extension": "2.0.0-beta.11"
+    "arduino-ide-extension": "2.0.0-beta.12"
   },
   "devDependencies": {
     "@theia/cli": "1.17.2"
diff --git a/package.json b/package.json
index 035a8e08..278cee1e 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide",
-  "version": "2.0.0-beta.11",
+  "version": "2.0.0-beta.12",
   "description": "Arduino IDE",
   "repository": "https://github.com/arduino/arduino-ide.git",
   "author": "Arduino SA",