bug#8664: Being more-systematic about user-interface timestamps

[Eli Zaretskii]

> Date: Sat, 14 May 2011 12:09:29 -0700
> From: Paul Eggert <eggert@cs.ucla.edu>
> CC: 8664@debbugs.gnu.org
> 
> On 05/14/11 02:41, Eli Zaretskii wrote:
> > people will understand if you botch their build trying to
> > keep it from breaking
> 
> Sure, but in this case the change cannot possibly fix anything,
> and might break the build, which is why I omitted it.  But since
> you're saying it's OK I'll fold the following change in when
> I merge.

Thanks.