diff --git a/arduino-ide-extension/scripts/download-cli.js b/arduino-ide-extension/scripts/download-cli.js index 02d15b5a..e998ccb9 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'; // require('moment')().format('YYYYMMDD'); + const DEFAULT_VERSION = '0.12.1'; // require('moment')().format('YYYYMMDD'); const path = require('path'); const shell = require('shelljs');