-
-
Notifications
You must be signed in to change notification settings - Fork 33.7k
Closed
Labels
docsDocumentation in the Doc dirDocumentation in the Doc direasytype-featureA feature request or enhancementA feature request or enhancement
Description
| BPO | 13510 |
|---|---|
| Nosy | @terryjreedy, @pitrou, @ezio-melotti, @merwok, @meadori, @kushaldas, @ashwch |
| Files |
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
assignee = 'https://github.com/ezio-melotti'
closed_at = <Date 2013-04-15.16:13:13.182>
created_at = <Date 2011-11-30.17:42:01.866>
labels = ['easy', 'type-feature', 'docs']
title = 'Clarify that readlines() is not needed to iterate over a file'
updated_at = <Date 2013-04-15.16:13:13.181>
user = 'https://bugs.python.org/peterotten'bugs.python.org fields:
activity = <Date 2013-04-15.16:13:13.181>
actor = 'ezio.melotti'
assignee = 'ezio.melotti'
closed = True
closed_date = <Date 2013-04-15.16:13:13.182>
closer = 'ezio.melotti'
components = ['Documentation']
creation = <Date 2011-11-30.17:42:01.866>
creator = 'peter.otten'
dependencies = []
files = ['29822', '29859', '29868']
hgrepos = []
issue_num = 13510
keywords = ['patch', 'easy']
message_count = 17.0
messages = ['148679', '148693', '148703', '148704', '173730', '173761', '185488', '186818', '186827', '186936', '186937', '186940', '186965', '186966', '187002', '187005', '187006']
nosy_count = 13.0
nosy_names = ['terry.reedy', 'peter.otten', 'pitrou', 'ezio.melotti', 'eric.araujo', 'cvrebert', 'meador.inge', 'docs@python', 'python-dev', 'mikehoy', 'kushal.das', 'ashwch', 'dan.riti']
pr_nums = []
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = 'enhancement'
url = 'https://bugs.python.org/issue13510'
versions = ['Python 2.7', 'Python 3.3', 'Python 3.4']Metadata
Metadata
Assignees
Labels
docsDocumentation in the Doc dirDocumentation in the Doc direasytype-featureA feature request or enhancementA feature request or enhancement