[issue31102] deheader: double #incude of the same file

[Mariatta Wijaya]

Mariatta Wijaya <mariatta.wijaya at gmail.com> added the comment:

Closing this. No action item from our side.

----------
nosy: +Mariatta
resolution:  -> not a bug
stage:  -> resolved
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue31102>
_______________________________________