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 wouldn't bother -- 2.0.1 doesn't need to be better than 2.1.
--Guido van Rossum (home page: http://www.python.org/~guido/)