mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +01:00
2d1f49a077
Fixes #5478
Backported from Processing 0abee5af6a/app/src/processing/app/Util.java (L174)