mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-10 04:54:21 +01:00
4ab241ceb6
This reverts commit a5404125f684bb0f837d61676c6212b74f2b111b.