mirror of
https://github.com/esp8266/Arduino.git
synced 2025-05-21 14:13:47 +03:00
5a3da9a7d8
cherry-pick updates for Stream::peekNextDigit() from AVR implementation: decimal dot is optionally allowed