mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-18 07:52:14 +01:00
956a4f2024
This reverts commit 38d4a34fec6925b29a732d13e200f54ee4b42025.