[issue19152] ExtensionFileLoader missing get_filename()

[Eric Snow]

Eric Snow added the comment:

Good point.

----------
status: closed -> open

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