From b77f2cdf5fa1a7d42250843258704a4d30d3737d Mon Sep 17 00:00:00 2001
From: Riccardo Rizzo <r.rizzo@arduino.cc>
Date: Tue, 4 Feb 2020 11:43:40 +0100
Subject: [PATCH] Publish 1.8.5

---
 platform.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform.txt b/platform.txt
index 224c58875..d07e74a8a 100644
--- a/platform.txt
+++ b/platform.txt
@@ -20,7 +20,7 @@
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
 name=Arduino SAMD (32-bits ARM Cortex-M0+) Boards
-version=1.8.4
+version=1.8.5
 
 # Compile variables
 # -----------------