[issue19152] ExtensionFileLoader missing get_filename()

[Roundup Robot]

Roundup Robot added the comment:

New changeset 0d079c66dc23 by Eric Snow in branch 'default':
[issue19152] Add ExtensionFileLoader.get_filename().
http://hg.python.org/cpython/rev/0d079c66dc23

----------
nosy: +python-dev

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue19152>
_______________________________________