mingw: use header in lowercase #61791
Description
| BPO | 17591 |
|---|---|
| Nosy | @pitrou |
| 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 = None
closed_at = <Date 2013-03-31.20:53:08.999>
created_at = <Date 2013-03-31.19:42:11.569>
labels = ['build']
title = 'mingw: use header in lowercase'
updated_at = <Date 2013-03-31.20:53:08.997>
user = 'https://bugs.python.org/rpetrov'bugs.python.org fields:
activity = <Date 2013-03-31.20:53:08.997>
actor = 'pitrou'
assignee = 'none'
closed = True
closed_date = <Date 2013-03-31.20:53:08.999>
closer = 'pitrou'
components = ['Cross-Build']
creation = <Date 2013-03-31.19:42:11.569>
creator = 'rpetrov'
dependencies = []
files = ['29625']
hgrepos = []
issue_num = 17591
keywords = ['patch']
message_count = 3.0
messages = ['185648', '185670', '185671']
nosy_count = 3.0
nosy_names = ['pitrou', 'rpetrov', 'python-dev']
pr_nums = []
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = None
url = 'https://bugs.python.org/issue17591'
versions = ['Python 3.4']