mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-29 18:52:13 +01:00
be786b70de
This reverts commit a18eb93d817b11c5b8659d55376856c9c06ca743.