mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-30 19:52:13 +01:00
175240a906
this is a rework of commit fbcf94801b8bba7f1c8c79cc7ae402b6b9dbb2d3