homepage

"""
To be able to fix this right, you'd have to know what the timestamp was on
whatever file
was loaded at the time that import loaded it. I guess import itself would
have to stash
this away somewhere.
"""
While I don't see this change being made, you might talk to Brett Cannon about it. He's working on a rewrite of the import machinery in Python and probably knows that system better than most by this point. Unless he/you can come up with something, though, I'm inclined to close the bug because of its provocation difficulty.