Moshe Zadka writes:
Can anyone give me his opinion about whether 2.0.1 should have this bug fix? It's not just for file.xreadlines(): the older fileinput.fileinput() is hurt by this as well...
I don't know about 2.0.1, but 2.1.1 definately should.
-Fred