mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-20 09:52:13 +01:00
575bb1dafb
Now simply seeking backwards by a character in peek() rather than trying to keep track of the extra character read.