Greg Stein wrote: > Could I offer an opinion: the time stamps DO NOT MATTER. > > If a comment was posted at 15:00 or at 21:00 ... I don't care. If it was a > Monday or a Tuesday ... I don't care. I believe I'd rather stick a fork in > my eye, than ask somebody to spend even 5 minutes on timestamps.
Yes, I *know* they don't matter! Oops -- I should have added some light-heartedness, a smiley, or whatever, instead of just writing in plain serious tone. Ivan was sitting two metres from me and I told him in person, and I made fun of my own pedantry. But I do have a serious point, and that is I feel sad when we, the whole profession and community of dedicated and experienced programmers, can't get such a simple thing right. (I don't mean just on our side -- there are long-standing bugs filed against Bugzilla about their end of this difficulty.) It's a little bit embarrassing to me when we put up a public resource that will live for years with such a simple mistake in it. I have sympathy for the "so what, who cares, just spit something out and move on" prioritization here. That makes sense in terms of value for "money". But for the above kinds of reason, I do think it's right for us to spend a few minutes, even a couple of hours, checking and correcting this sort of issue, *if* somebody such as Ivan wants to donate that effort. (It was already established that we'll be waiting at least a few days for polling people about their user names, and other reasons, so we're not talking about a critical-path delay.) - Julian > Julian Foad wrote: >> That's closer, but not correct. I checked some issue notification >> emails to be sure. >> >> The time stamps in the PDT portion of any year are now converted >> correctly, but the time stamps in the PST (UTC-0800) portion of any >> year are now converted to one hour less than the correct value. [...] - Julian
