On Tue, May 13, 2008 at 02:43:04PM +0200, Paul Slootman wrote: > Suddenly changing an output format is very bad... > I urge you to make the high precision time stamps NOT the default > automatically! I'm sure that the lack of use was not primarily the lack > of knowledge of them, but the fact that people don't like them.
Well, I think there will be people who like them. But actually I think for the vast majority they are not very good to read, neither are they needed. You can say what you want. I'm pretty sure that more then enough people are best served with normal-precision timestamps (e.g. seconds) more then enough. Regards, Patrick -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

