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