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