mirror of
https://github.com/arduino/Arduino.git
synced 2025-04-02 19:25:26 +02:00
reapply patch #2301 this patch got lost with f6546ae and its partial revert 98eb1a9 Should fix #5092
reapply patch #2301 this patch got lost with f6546ae and its partial revert 98eb1a9 Should fix #5092