From 15133a072044a822990ab77944434b3a1e134cf6 Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Fri, 14 Feb 2020 15:29:26 +0100 Subject: [PATCH] Starting Arduino IDE 1.8.13 --- arduino-core/src/processing/app/BaseNoGui.java | 4 ++-- build/shared/revisions.txt | 3 +++ 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java index 72d93ca08..c47a82d69 100644 --- a/arduino-core/src/processing/app/BaseNoGui.java +++ b/arduino-core/src/processing/app/BaseNoGui.java @@ -41,9 +41,9 @@ import static processing.app.helpers.filefilters.OnlyDirs.ONLY_DIRS; public class BaseNoGui { /** Version string to be used for build */ - public static final int REVISION = 10812; + public static final int REVISION = 10813; /** Extended version string displayed on GUI */ - public static final String VERSION_NAME = "1.8.12"; + public static final String VERSION_NAME = "1.8.13"; public static final String VERSION_NAME_LONG; // Current directory to use for relative paths specified on the diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt index b1502ed83..6d1900f2d 100644 --- a/build/shared/revisions.txt +++ b/build/shared/revisions.txt @@ -1,3 +1,6 @@ +ARDUINO 1.8.13 2020.??.?? + + ARDUINO 1.8.12 2020.02.13 [ide]