On Sat, 2010-08-14 at 22:17 +0200, Paul Eggert wrote: > Yes, that could be relevant. It also depends on your locale, > on the phase of the moon, etc. Please don't worry if you > can't reproduce it. I'm happy you reported it, and I'm pretty > sure we have a fix now. K,.. thx :)
btw: Even the test script seem to work ok with the old diff... Cheers, Chris.
