[issue12855] open() and codecs.open() treat form-feed differently

[STINNER Victor]

STINNER Victor <victor.stinner at haypocalc.com> added the comment:

> It would be nice if it fit in the docs somewhere,
> but I'm not sure where.

See:
http://docs.python.org/library/codecs.html#codecs.StreamReader.readline

Can you suggest a patch for the documentation? Source code of this document:
http://hg.python.org/cpython/file/bb7b14dd5ded/Doc/library/codecs.rst

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue12855>
_______________________________________