Re: CEDET Merge

[Eli Zaretskii]

> From: Glenn Morris <address@hidden>
> Cc: address@hidden,  address@hidden,  address@hidden,  address@hidden,  
> address@hidden
> Date: Sat, 21 Jan 2017 13:52:55 -0500
> 
> > Git obviously does record the commit date, so there's no problem with
> > that rule.
> 
> The commit date has no relation to "the date when the change enters the
> Emacs repository" (ie, was pushed to Savannah).

It does when you commit locally before pushing.  And, as mentioned
here, there's the --date option to control that.

> If you want a recent example of this, "make ChangeLog" and look at the
> dates of "recent" concurrency entries. Some are years old.

That doesn't mean we should drop the rule, just that some people are
not always following rules.