From 5ac7fe144637ebd5b863ab4d91afd34989833d2b Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Fri, 21 Aug 2020 11:50:22 +0200
Subject: [PATCH] Use 0.12.0-rc3 CLI.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 arduino-ide-extension/scripts/download-cli.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arduino-ide-extension/scripts/download-cli.js b/arduino-ide-extension/scripts/download-cli.js
index 6b2ae416..43020172 100755
--- a/arduino-ide-extension/scripts/download-cli.js
+++ b/arduino-ide-extension/scripts/download-cli.js
@@ -10,7 +10,7 @@
 
 (() => {
 
-    const DEFAULT_VERSION = '0.12.0-rc2'; // require('moment')().format('YYYYMMDD');
+    const DEFAULT_VERSION = '0.12.0-rc3'; // require('moment')().format('YYYYMMDD');
 
     const path = require('path');
     const shell = require('shelljs');