mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
76029ae542
reapply patch #2301 this patch got lost with f6546ae and its partial revert 98eb1a9 Should fix #5092
HOW TO BUILD ARDUINO
See: https://github.com/arduino/Arduino/wiki/Building-Arduino