deheader: double #incude of the same file

BPO	31102
Nosy	@serhiy-storchaka, @Mariatta

^{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 2018-06-12.21:45:26.747>
created_at = <Date 2017-08-02.09:51:51.421>
labels = ['type-feature', 'invalid', 'build']
title = 'deheader: double #incude of the same file'
updated_at = <Date 2018-06-12.21:45:26.737>
user = 'https://bugs.python.org/dilyanpalauzov'

bugs.python.org fields:

activity = <Date 2018-06-12.21:45:26.737>
actor = 'Mariatta'
assignee = 'none'
closed = True
closed_date = <Date 2018-06-12.21:45:26.747>
closer = 'Mariatta'
components = ['Build']
creation = <Date 2017-08-02.09:51:51.421>
creator = 'dilyan.palauzov'
dependencies = []
files = []
hgrepos = []
issue_num = 31102
keywords = []
message_count = 3.0
messages = ['299650', '299655', '319404']
nosy_count = 3.0
nosy_names = ['dilyan.palauzov', 'serhiy.storchaka', 'Mariatta']
pr_nums = []
priority = 'normal'
resolution = 'not a bug'
stage = 'resolved'
status = 'closed'
superseder = None
type = 'enhancement'
url = 'https://bugs.python.org/issue31102'
versions = ['Python 3.6']