mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
59e7c9ef60
This reverts commit 7235f9dc157d600a67c73f7d20c9d04882ed23f1.