mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-22 16:54:20 +01:00
a72cfc3087
for providing the patch. http://code.google.com/p/arduino/issues/detail?id=1092 http://arduino.cc/forum/index.php/topic,129765.msg980913.html