refer to file.readline() in stdtypes doc; thanks to Mihai Capotă from docs@
1 file changed