mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-18 07:52:14 +01:00
631bf76c76
This reverts commit e19cf4d1a15f70c99f64769cedc2fe2b0bc24841.