[Python-Dev] RE: How should time.strptime() handle UTC?