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