On 17.09.2015 09:06, Julian Foad wrote:
> 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.)
5+ years since becoming an ASF TLP is hardly on any kind of critical
And I wonder why the people who're doing the least work on this
migration have the most to say about not wasting time with "trivialities".
>> 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:31:49 CEST