[issue19152] ExtensionFileLoader missing get_filename()

[Eric Snow]

Eric Snow added the comment:

Thanks for noticing that, Brett.

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

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