mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-26 15:52:14 +01:00
b787982eec
Otherwise, trying to print(NULL) or write(NULL) could print a random character. http://code.google.com/p/arduino/issues/detail?id=941