micropython/micropython — pull request #752 by pfalcon (2014-07-13 21:17:19+00:00)
Title: py: Make print() accept "file" argument, and actually print to stream.

And not printf(), like it was before.