Updated version to 1.5.8

cmaglie · cmaglie · commit d8a632fb6615 · 2014-09-05T10:11:47.000+02:00
diff --git a/platform.txt b/platform.txt
@@ -5,7 +5,7 @@
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
 name=Arduino ARM (32-bits) Boards
-version=1.5.6
+version=1.5.8
 
 # SAM3 compile variables
 # ----------------------
