mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +01:00
eb1e2f2db1
This reverts commit 7fcba37acfd11313640b3f5d5c813d63d2f59999.