mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-18 07:52:14 +01:00
39cd0e94f8
This reverts commit 3e469d7a612405642e616d6af165f4573b416e3f.