fatto 
dicono che SE verrà aggiornata la toolchian, avverrà in quetsa branch: https://github.com/arduino/Arduino/tree/ide-1.5.x-avr-toolchain-gcc-4.8.1
quindi le eventuali modifiche vanno lavorate usando questa come target
fatto
dicono che SE verrà aggiornata la toolchian, avverrà in quetsa branch: https://github.com/arduino/Arduino/tree/ide-1.5.x-avr-toolchain-gcc-4.8.1
quindi le eventuali modifiche vanno lavorate usando questa come target