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
Received on 2015-09-17 09:07:06 CEST