mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-18 07:52:14 +01:00
ed7795ef8d
This reverts commit 2b4391052c3a9061c5d58d613ed3631752e7d4a2.