[Mailman-Developers] pipermail -- time zone in date info

Hi,

I was a little bit uneasy on that pipermail's index pages show Starting:', Ending:', and Last message date:' information in GMT time zone, while Archived on:' in the Local Time. I was able to make a dirty hack to set the time zone value in mm_cfg.py but feel like not to publish it because the server (platform/OS) should have the time zone info in itself. Can someone make a better patch for it and upload ?

Thanks in advance.

Tokio Kikuchi