mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-25 14:52:13 +01:00
e55d4145d0
between uploads. Fixes #3255 Fixed a missing status management, leading IDE to believe Serial Monitor was opened while it was not. See #3268