update arduino-builder to 1.3.23

Author: jenkins

build/arduino-builder-arm-1.3.22.tar.bz2.sha

@@ -0,0 +1 @@
+f6956f50f83bb58d5283bc45c51672ed95345a8b

build/arduino-builder-arm-1.3.23.tar.bz2.sha

@@ -0,0 +1 @@
+a4c17c6a7e4f410f51fe99731416db25ea15be47

build/arduino-builder-linux32-1.3.22.tar.bz2.sha

@@ -0,0 +1 @@
+51f4afdef264b80fae15965cfaca5ceb4d25b874

build/arduino-builder-linux32-1.3.23.tar.bz2.sha

@@ -0,0 +1 @@
+e1674800285c717660c4366e1a03ca315ebdfc7d

build/arduino-builder-linux64-1.3.22.tar.bz2.sha

@@ -0,0 +1 @@
+c2f23cd38e864c8efe9fcf3eb8fc8708605edad7

build/arduino-builder-linux64-1.3.23.tar.bz2.sha

@@ -85,7 +85,7 @@
 
   <property name="portable" value="false" />
 
-  <property name="ARDUINO-BUILDER-VERSION" value="1.3.22" />
+  <property name="ARDUINO-BUILDER-VERSION" value="1.3.23" />
   <property name="LIBLISTSERIAL-VERSION" value="1.2.0" />
   <property name="AVRGCC-VERSION" value="4.9.2-atmel3.5.3-arduino2" />
   <property name="AVRDUDE-VERSION" value="6.3.0-arduino6" />