Message 372425 - Python tracker

> bout _strptime, I see that the time.strptime() imports internally the _strptime module.

Ah, sorry, my remark about including `_strptime` was off the cuff — I thought it was only used in `datetime`, which is why I said "possibly _strptime". If it's used for `time` as well, we should leave it where it is.