Re: [Python-Dev] Re: proposal: add basic time type to the standard library