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