mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +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