mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-01 21:52:12 +01:00
7f17170678
This reverts commit 38c3bbbd3c83eda057d4857635fbd78a4785c3a4.